Fix :i Constraint printing "type Constraint = Constraint"
Since Constraint
became a synonym for CONSTRAINT 'LiftedRep
, we need the same code for handling printing as for the synonym Type = TYPE 'LiftedRep
.
This addresses the same bug as #18594 (closed), so I'm reusing the test.