Go through all types and convert to intersectional type + brand when appropriate

[ribose-jeffreylau]

For example, string should really be something like ID in certain cases.

This helps disambiguating the code base.

See: https://michalzalecki.com/nominal-typing-in-typescript/