[giann]

It’s really hard (impossible?) to have a type system with user defined types and do without a declarative top level.

[throwawaymaths]

I think by the non-soft bits (I don't know what simple means) of your definition, Erlang, java, c#, go would be considered "scripting languages", which I think would be a hard sell.

Anyways I don't mean to take away from your work;. It looks very cool.

[lll-o-lll]

Multiple passes?