Added Monoid (Const1 b a). Const now also preserves co-structure