editorial on R-SemanticTypeDefinition req.