Add non-commutative addition and multiplication. Close #201.