Overloaded record fields: we ought to change the name of FldTy