Erlang with Types Proposal