Added rotateLeft & rotateRight to Poly
Removed bogus Coproduct refinement.
Use fundep materialization. Minor cleanups. Fixes #106. Fixes #108.