DecideZeroRows/Columns( A, B ) now replace B by a distinguished basis

and use this basis to reduce A.

This fixes all DecideZero( A, B ) methods which mistakenly assumed
their second argument B to be distinguished basis
with respect to which A can be reduced.

We need Coq-style programming!