Move orphan instance/rule warnings to typechecker/desugarer.