v1.2.0 -- Add typeclass implementations

This release improves the docs slightly and adds implementations for several of the appropriate typeclasses (Semigroup, Monad, etc) as well as infix functions defined in those typeclasses.