term-printer now will print term sets properly.
Reworked match, hopefully to work better.
Don't ever build target -> source channels anymore.
Updates for new typing mechanism on arbs.
Added a subsumption demo.