Better error messages, record constructors that can populate data members.