Compiler upgrade checks are more lax than participant checks for typecon references

[dylant-da]

Currently the compiler ignores package IDs and doesn't do checks between package dependencies, so it only checks typecon names for equivalence in types. This makes it more permissive than the participant, which does check.