Added lexemes (untested), renamed app to functor
Added applicative (untested)