Typing: recover from method type errors