Type errors: don't report warnings 20 & 21 after recovery

Improve situation reported in issue #131