Enable --strict and then disable some of the errors

pyproject.toml

@@ -1,18 +1,14 @@
 [tool.zuban]
+strict = true
+enable_error_code = ["ignore-without-code"]
+
+# Revert some --strict specific flags:
+allow_untyped_calls = true
+allow_untyped_defs = true
+allow_incomplete_defs = true
+allow_untyped_globals = true
+untyped_strict_optional = false
+implicit_reexport = true
+
 # Exclude our copies of external stubs
 exclude = "^jedi/third_party|^test/(completion|refactor|static_analysis|examples)/"
-
-show_error_codes = true
-enable_error_code = "ignore-without-code"
-
-# Ensure generics are explicit about what they are (e.g: `List[str]` rather than
-# just `List`)
-disallow_any_generics = true
-disallow_subclassing_any = true
-
-# Avoid creating future gotchas emerging from bad typing
-warn_redundant_casts = true
-warn_return_any = true
-warn_unused_configs = true
-
-strict_equality = true