Evaluate naked expressions
Forall-properties testing
Remove the compare command