More progress on Erlang Types