But since you don't mind Lisp syntax, and really like type systems, have you tried Shen? (http://www.shenlanguage.org) it's an interesting project.
I also want:
(0) Type inference. Shen seems to require all typed code to be manually type-annotated.
(1) A decent module system. There seems to be no mention of abstract types in Shen's documentation.
(2) A guarantee that dynamically typed code won't break abstractions defined in statically typed code.
But since you don't mind Lisp syntax, and really like type systems, have you tried Shen? (http://www.shenlanguage.org) it's an interesting project.