I think the goal is slightly different: “This is not quite the same as data types in a programming language (e.g. bool, double, float) although everything with

I think the goal is slightly different: “This is not quite the same as data types in a programming language (e.g. bool, double, float) although everything with the same prefix should ultimately be cast in the same type. Instead, these data types imply both a type of information and appropriate usage patterns [...]”