Use record, not class, for IdentifierRef
Rename tests