Create the state with a decorator rather than a 'with' block.

Just looks nicer not to have the entire test function indented by one
level.
When integer is out of range, show what the input is.
Support eq and ne on Integers.
evaluate() for IntegerExpr