Added the instanceof and cast and a few other things to the TypeAssignment visitor, which is actually the TypeChecker.
Preliminary completion, all requirements met with minor testing.
Project version that was turned in. Bugs still exist as noted in src\readme.txt
Project version that was turned in. Bugs still exist as noted in src\readme.txt