Design Can't Rely on Logic: Troy Leinster on Type Design and Human Perception