Small Erlang & SML inspired language