fixed Monoid
cleanup imports
started work on Const as a monoidal functor