More progress on Erlang Types. Some record stuff done