Hmm, yes "type" can mean a lot of things, but would many dispute that the languages with the most evolved type systems are those discussed in the post(ML, ocaml, haskell, F#) plus scala? (Leaving aside coq, agda which I'm not familiar with

http://blog.tmorris.net/a-brief-point-on-static-typing/

http://james-iry.blogspot.com/2010/05/types-la-chart.html