TypeError in typeassert, expected

Agree with everything you said, FWIW.
Just means I get to dazzle you with my terrific hindsight: :slight_smile:
It is difficult or impossible to give good runtime error texts, so it needs to be “designed in”
to the language from the start.