Implement algebraic hierarchy, including R-algebras

[olynch]

We should implement the whole hierarchy of "single-sorted" algebraic theories, using multiple inheritance, and also build in support for constants.