I know this is quite a LOT to ask and it would be for super-duper long term. It would be less cumbersome to build complex operators if it has a proper type system with tuple (for uncurrying) and generics. Maybe by embedding a proper language VM into the mod.

Sure, maybe something for another lifetime, unless someone else feels like PR'ing this :-)

I think for a type system it would be better to just write a wrapper around clojure...