Add test for attempted use of existentials in data ctor defs