On-the-fly static typing in Javascript, inspired by Erlang.