CSPM.TypeChecker.Decl