Changed apply to compose, added function unapplicator.
Added fmap to the expression IR.