fixes #31: list errors that are unrelated to type checking in the README