Minor cosmetic stuff or notes; teased out better generality in max flow algorithm, doing away with ugly hacks, plus docs and comments