took out unnecessary off-by-one in Gates module

Conflicts:
	src/PiWare/Gates.lagda
	src/PiWare/Gates/BoolTrio.lagda