begin rewrite of implementation, will keep equivalence classes for equalities
notifying terminfomangers of membership
sets theory: mv implementation to _private
sets implementation rewrite - intermediate commit 1/20 2pm
sets implementation rewrite - intermediate commit 1/20 4pm
sets implementation rewrite - intermediate commit 1/20 4:04pm
sets implementation rewrite - intermediate commit 1/21 10am
sets implementation rewrite - intermediate commit 1/21 11am
sets implementation rewrite - intermediate commit 1/21 1pm
sets implementation rewrite - intermediate commit 1/22 1pm
bug fix. end of bugfixing rounds.
Significant reorganziation, better use of eq engine
bug fix morning: fix 3 bugs