MSFP paper induced refactoring to SpinelessValues
	modified:   src/Delay.agda
	modified:   src/SpinelessValues.agda