>uh funny how python's doing the job of modeling type systems when it barely enforces types itself

The magic of computers. You can write a standards-compliant Lisp interpreter in python, too and it doesn't have a large chunk of that stuff in itself either.