equational proofs for renamings
	modified:   WellTypedTerms3.agda