semanticized type