removed openterms, reinstated proof of termination of eval in typedvalues
	renamed:    OpenTerms.agda -> TypedValues.agda