It doesn’t actually matter what that thing said. Most everybody uses the term “dynamically typed” when referring to languages like Python, Lisp, etc. and this is the first time I’ve heard the term “unityped” – is not a term in common use.
And (bringing this back to its origin), using terms which actually are in common use, Python does allow storing types as values in variables.
Bingo.
That's exactly what Harper said.
Did you actually read that thing?