Some languages go even farther than those basic characteristics; Perl 5, for example, has four hooks to run code at odd times (as soon as it's parsed, once compilation is complete, immediately after execution starts, and right before the program closes). Perl and Python at least have object formats that don't quite fit native CLR or JVM objects.
Actually, I think Python's type system is called strong: it doesn't change your variable's types implicitly, you have to do it explicitly.
So by supporting Python, Parrot will at least to some extent support strongly typed languages.
Also, the implementation of IronPython [1] shows that it's quite possible to run some kind of Python on the CLR infrastructure.
Regards,
Manuzhai
[1] http://ironpython.com/