This is really neat! Have you considered an ML-like module system, with functors and such? I'd be curious if they could be connected with Erlang's processes somehow :)
I am interested in having a feature like this but there is much work and research to be done first.