Name is the type of names that have had their scoping and binding resolved. They
have an OccName but also a Unique that disambiguates Names that have
the same OccName and indeed is used for all Name comparison. Names
also contain information about where they originated from, see Name