Disambiguate references to record type.