recursive version of nereadback
	modified:   Delay.agda
	modified:   SpinelessValues.agda