Implementd Comonad except for cfix, the comonadic fixpoint
Added base submodule for typeclass dependencies not belonging in core