Support record fields in GADT-style declarations. Fixes #12.