Minor fixes to asserts.
Disabled adding to the subsumption lattice for now. It's not actually used, since it's easy to just check restriction-subset where necessary at match time. I'm not sure it's really necessary.
Added flatten-term function.
Bug fix in add-valve-selector. Some beginnings of reductio.