Remove objectMap from Functor class definition
Move fmap outside of Functor class definition and replace with morphismMap
Simplify kind proxies and signatures