Fixed a problem with computing DA tensor D: idempotent output on the D side should produce an overall arrow. Added tests for T(4, n).