pub type ExprEval = Rc<dyn Fn(&Rc<Expr>) -> R<Value>>;
evaluates an expression (the engine’s)
pub struct ExprEval { /* private fields */ }