How to brand TypeScript types for norminal typing, providing an automated and easy-to-use way of making a type nominal.| Prosopo
