fixed left recursion in parser
Added closure converted language

Includes closure conversion syntax and type translation.
simple cases of closure conversion translation