modified:   Everything.agda
	renamed:    WellTypedTerms3.agda -> WellTypedTerms.agda
	renamed:    WellTypedTermsModel3.agda -> WellTypedTermsModel.agda