Thanks for a better explanation than I could have written myself.

I also like this page as a more basic introduction to type systems: http://blogs.perl.org/users/ovid/2010/08/what-to-know-before...