Interesting, I haven't seen a lot of Lisps with static type inference. The language seem very interesting, especially the multi-threading.