Rec1: streamline tests
Rec1: instance Show Typing
Rec1: showConstraints