More progress and more pics (Erlang Types)