Plonk/Gates/Custom gates : clean up
#71 (closed) led us to refactor the use of wires’ labels & to functorize add gates in Custom gates.
Further investigation is required to assess the benefit-cost of types for wires & gates. The current intuition is it would be costly for little benefits.