It was originally written without type hints. It looks like somebody has added them since I last used Manim (a couple of years ago) to make sense of the mess!
In my extensive experience code with static types is always easier to follow than dynamically typed code. There's no contest.
Also, doesn't your example prove my point?
I'm saying focus on types leads to deeper hierarchies. Your example has types and a deep hierarchy.