- Take more things by self, not &self - Clone more things - Rework namespacing so we can use `ty::` in the canonicalizer