some progress with rterm/rterm'
	modified:   Delay.agda
	modified:   SpinelessValues.agda