Find uses of "identical" and consider identity conversions

Often when there's a requirement that types are "identical" it really means that there must be an identity conversion between them. We should do a sweep of the spec to check that. (It may be worth introducing a new term to make this simpler.)