semantic: Separate operator names from extyper.