New syntax for GADT-style record declarations, and associated refactoring