non/spire — pull request #155 by non (2013-09-13 03:15:17+00:00)
Title: Topic/commutativity

These are some commits addressing commutativity (via CMonoid and CRing) as well as some other ad-hoc clean up.