Convert brick diagram encoding v1 to v2 (kdmoncat)

[epost]

Take Statebox.Core.Types.Wirings and turn them into kdmoncat-compatible diagrams.
Builds on #270.

TODO

• derive types from Petri nets
  • count the inputs: the places without incoming transitions
  • count the outputs: places without outgoing transitions
  • the type is some unit type (say u) repeated for inputs and outputs, f.e. u u -> u u u
• support the old brick diagrams format
  • note that the pixels in the old format are transposed, there arrows go down, in the new format arrows go right