made open terms a bit more open, but not kripke yet
	modified:   Everything.agda
	modified:   OpenTerms.agda