good progress in refactoring, all tests pass;
updated modules to use new type inference (and submodule names of Symbol);
some bugfixes in type inference