This is actually something Python doesn't do... generally, if you have a type error in Python, you get an exception at runtime. I certainly don't disagree with

This is actually something Python doesn't do... generally, if you have a type error in Python, you get an exception at runtime. I certainly don't disagree with what I guess will be the overall direction of your argument.