reconfiguring the groundwork
direct sum and zn rings
building all operations through factory
removed nullary, unary, and binary operation built-ins; all handled by factory