Added firstly
Added epsilonLan -- a form of 'co-iota' for our co-curried Compose, aka Yoneda.
give the relative composition for * -> *