Specializations on Definitions and on Usages

[adriancostin-sd]

Definition Supertypes should have the same Type and usage Supertypes should be of the same usage kind (also see exceptions to both in language reference). Write a CoCo that checks these. Note: This is parallel to the CoCo for Typing