modified:   Delay.agda
	new file:   EquationalTheory.agda
	modified:   Library.agda
	new file:   RenamingAndSubstitution.agda
	modified:   SpinelessValues.agda