Reformulate Monoid to make relation to Semigroups explicit
Warm fuzzy names :)
Update names of instances for warm fuzziness
More elm_deps updates