Modify this test to do something reasonable: it now tests that hiding
a constructor leaves the corresponding type constructor visible (this
is a bug reported by George Russell a while back).  Enable rn037 in all.T.