make cases work with type equality that knows about moreRecords, to work around (current) limitations in data environment (fixes test regression)