TypeScript, Literal Types, and Human-Readable Code

In the history of programming languages, there’s an emphasis on human communication. It’s even right there in the name: if that hadn’t been…