Subtyping

Notes:

• operate on canonical types
• if subtype is shared, supertype must be shared
• can drop leased from subtype, not supertype
• must end with my/my or var/var