Removed annotations forced by union types

Removed annotations from the dotty codebase that were necessary because the inferred union types
caused inference errors later on.