. "data types are worth the effort, insofar as they would have significance" . . .