Made the TypeCheckingVisitor a member of Main.