It would be nice to have a better way to report errors when state representations are malformed (such as member attributes defined for non-members).