A type safe language for the Erlang VM
