Renamed fields in Gates with gate interface sizes

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