Unify function

Unify / merge lexer, parser and evaluation updates to process functions declared with fun x -> <expr>, and add tests for such functions.