so instead of adding it to the supertype, we need to find out what operation is trying to cast it to a supertype and fix it there instead?