kripke-ifying typedvalues
	modified:   Delay.agda
	modified:   Library.agda
	modified:   Term.agda
	modified:   TypedValues.agda