Actually, that's what I use inline types in kotlin for. So username, password are distinct from string and objectid might be backed by an int, but is distinct

Actually, that's what I use inline types in kotlin for. So username, password are distinct from string and objectid might be backed by an int, but is distinct from int. Obviously, once compiled, there's no overhead, it's a zero cost abstraction. But an incredibly useful one.