How the concept of branded types allows describing primitives more precisely than TypeScript normally allows.| www.learningtypescript.com