corrected the lexer
first draft of lambda abstraction functions