Disallow extended record types with no fields, resolves #280