Currently there's only a tokenizer/parser implementation publicly available. I'm currently working on the type system.

Progress has been a bit slow, but I will be posting here on HN if I end up making something worthwhile.