Small ML for Erlang