What is an UInt #4728
Description
The typegraph for UInt indicates it is a type. UInt is, on the types page, named a 'class'.
This issue is looking for a documentation name for what a subset is. Perhaps that should contain other constraint objects. But due to syntax, scope size, and misleading documentation, subset is the most confusing.