parse Alloy expression like Evaluator

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