• CIL Type Enforcement Rules
• Typetransition
• Nametypetransition
• Typechange
• Typemember
• Typebounds