added a -> b as an abbreviation for (lambda a b), made GFM parsing explicit