My main complaint about them is no first-party support for type checking, you need external packages like beartype decorators.

Yeah, it would have been much better to have them be default enforces if present. Keeping them optional is fine, but I don't get the use-case for "you can add them but not check them"... that just leads to actively misleading hints