started thinking about open terms
	renamed:    Term.agda -> ClosedTerms.agda
	new file:   OpenTerms.agda