Typed Erlang Experiment - using Ocaml for type-checking