Using real types in operator typeswitches