semantic: Distinguish ident typeids at the semantic level.