added .hs files for parsing and lambda reduction