The language has "unique" types, meaning they have their own semantic meaning apart from their structure; they get a unique hash (currently implemented by addin

The language has "unique" types, meaning they have their own semantic meaning apart from their structure; they get a unique hash (currently implemented by adding a random salt to the hash of the structure, though it might as well be a guid). So "unique" types and "structural" types. The same question came up for terms, here: https://news.ycombinator.com/item?id=27654045 https://news.ycombinator.com/item?id=27654045