How the concept of branded types allows describing primitives more precisely than TypeScript normally allows.