For anybody interested in this technique: the googleable term is "branding". It's bringing some nominal typing into TS's structural typing