Distinguish record tags and record types. See #243.