Removed error message from subsumption constraints that
cannot be simplified away, because the simplification is not
working correctly in certain standard cases.
Removed Json2 from StandardLibrary
Small efficiency fix in Prelude
Check if the input block expression is empty in ExpressionEvalutor.