What problem does Python 3.12's new syntax for generics and a type statement solve that TypeVar didn't?