Spell out the Rename instances munually

(in preparation for merging the renamer with the translation from SrcTy to Ty)
Define type checker in terms of linter