cosmetic strong bisim refactoring changes.
	modified:   Delay.agda