implement most of proper version from paper. still missing array contraction objectives. there's a parser etc now.