I was recently directed to an article on "tiny types" - an approach to static typing which introduces distinct types for the sake of code clarity, rather than to add particular behaviour to each type. As I understand it, they're like type aliases with no conversions between the various types. (Unlike plain aliases, an object is genuinely an instance of the relevant tiny type - it doesn't have "alias erasure" as a language-based solution could easily do.) I like the idea, and wish it were better supported [...]