Fixed type checker to correctly catch null types (these null types will probably vanish as we complete the type checker implementation).
Fixed type checker to correctly catch null types (these null types
will probably vanish as we complete the type checker implementation).

mikedouglas/MiniJava,mikedouglas/MiniJava