The "easier" case for type DA of cobordism between linear PMCs (with
D-side being larger). No fingerpush to ensure admissibility is needed.
Type DA structures for the harder case of cobordisms (with larger PMC
on the right). To construct this, we first construct type DA
structures for "simple" cobordisms - that is, cobordisms that insert a
genus-1 split PMC in the middle of some PMC. The cobordisms for linear
PMC are then constructed as the boxed tensor product between a simple
cobordism and a number of arcslides.

Note the maximum number of A-side inputs in the local case of simple
cobordisms is five. Note also the two extra seed arrows in the
construction.