Separated parser, binder, evaluator