add comments to TypeChecker