Add more strict mypy rules, sort alphabetically

pyproject.toml: Sort mypy configuration options alphabetically. Add allow_redefinition = false to not allo redefinitions of variables. Add ignore_errors = false to explicitly not ignore errors. Add local_partial_types = false to explicitly disallows inferring variable type for None from two assignments in different scopes. Add strict_equality = true to prohibit equality checks, identity checks, and container checks between non-overlapping types. Add strict_optional = true for explicit strict optional checks.