Dual simplex

- alas, strategy has flaws (some infinite loops are possible)