Translate typechecking-errors.md (cont.)