Completed first draft of type system.  Still remaining: annotate trees with types, performance tuning, and (of course) testing and unit testing and all the debugging ever.