Polymorphic boundary, things seem to work.
Took out xi, phi, and related stuff.
Can compile optrees, bdd on optrees.