tried CanRead + Read, ground to a halt in rterm/rterm'
	modified:   SpinelessValues.agda