replaced OPEs with Renamings
	modified:   SpinelessValues.agda
	modified:   Term.agda