Use nominal types if TypeScript adds them

[kainino0x]

Seems like TypeScript is adding some facilities for nicer nominal types: microsoft/TypeScript#33038 . Right now we do a "hack" (#11) using private void fields to make types unique.