Type DA morphisms between identity and anti-braid. One corner case
(degenerate on top, negative twist) does not work (it appears arrows
with arbitrarily many A-side inputs are needed).
Computation of the spectral sequence using type DA bimodules for Dehn
twists. No Maslov grading yet.
Added output of spectral sequence computation from the past, including
Maslov gradings.