w is a simple witness type if each value witnesses to a single type. Thus if two values are the same, then they have the same type.
If the two values are the same, then
b are the same type.
As an equivalence relation,
matchWitness must be reflexive, commutative, and transitive.