SQLAlchemy is still arguably the most featureful and robust ORM in Python (although it is much more than an ORM). It is likely the best default choice unless you're already working within a framework that offers its own ORM.
SQLAlchemy does support type annotations [0], am curious what issues you're running into there?
[0]: https://docs.sqlalchemy.org/en/20/orm/extensions/mypy.html