another refactor of the algebra hierarchy.

Removed some Ops traits, renamed a few others, introduced
a few new ones.