Clarify value vs type in distinguishability categories (#413)

Add a description of Clarify value vs type in distinguishability categories (#413)