Finished setting up infrastructure for TypeChecker.