Conversations with Michael Denton: The Distinctness of Types