made Vec instance of ⇓W⇑ more readable

Conflicts:
	src/PiWare/Synthesizable.lagda