add missing option instances
add metric space syntax
add CMonoid, a commutative monoid
Add CRing[A].
Merge pull request #155 from non/topic/commutativity

Topic/commutativity