Deduplicate overlapping Notes [TyVar/TyVar orientation] in TcUnify and [Canonical orientation for tyvar/tyvar equality constraints] in TcCanonical

These Notes cover similar ground but say different things.

To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information