CSPM.TypeChecker.File