Design a set of visitors which type-checks a MiniJava program
and produces any appropriate error messages about mismatching types 
or undeclared identifiers.