> But since you don't mind Lisp syntax, and really like type systems, have you tried Shen?

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.