+several constrain types, pseudo-SendMoreMoney test
AlgebraicExpression work