parse Alloy expression like Evaluator

Use 'print' or 'p' command followed by an Alloy expression to get
Evaluator-like output.