Support debug print that prints IR and types
Replace uses of void with None
Make loops work in term tree evaluator
Disable method copy for now
Parse function/method signatures lazily
Build unification-ready dispatcher only once
Cache results of unification
Don't export types in toplevel namespace
Merge branch '_termeval'