added some comments
	modified:   ClosedTerms.agda
	modified:   Term.agda