renamed segregateSums to seggregateSums

Conflicts:
	src/PiWare/Synthesizable.lagda