added optimized versions of expressions
[Validator] added a constraint that runs an expression