unnamed
Unnamed types are normally used in symmetry breaking at specification level. Members of this type can’t be referred to individually, and only support equality operators.
It is declared using
letting <name> be new type of size <expression>
as demonstrated here.
Read more about them here.