Adding Type explorations