#775 introduced type hints for solve and solveAll. One thing I overlooked when reviewing the PR is that TypeAlias is only supported from 3.10 onwards. Since in the future we want to add even more type hints, the use of TypeAlias is probably here to stay (allows for less verbose typehints). This would require us to drop support for 3.9.