Add test for scoped type variables w/ existential constructors (failed
in 5.00 but works in 5.02, reported by Peter Gammie
<peteg@cse.unsw.EDU.AU>)