WIP parse Alloy expression like Evaluator