finished erlang types.