Elab and eval for functions
Elab and eval for functions