refactoring of definitions of Delay and strong bisim. from MSFP submission
	modified:   ClosedTerms.agda
	modified:   Delay.agda
	modified:   LocallyNameless/Eval.agda
	modified:   Spine.agda
	modified:   SpinelessValues.agda
	modified:   TypedValues.agda