Cat 1.0 beta 4, now has type checking (only primitives, not
annotations yet) along with recursive ("self") types.
Announcement here:
http://cdiggins.com/2008/04/16/cat-programming-language-version-10-beta-4/
Download here: http://code.google.com/p/cat-language/downloads/list
Cheers,
Christopher