The source and destination types of a transmutation.
The type encodes answers to the question: “Are these types transmutable?”
Answers: Why wasn’t the source type transmutable into the destination type?
