added StrongConvertibility.agda
	new file:   OPERecursive.agda
	modified:   RecursiveNormaliser.agda
	new file:   StrongConvertibility.agda