Refining merges returns best or None.
Neaten table converter.
Correct routing table comparisons.
Generalise report conversion.
Finish ordered covering.
Neaten samples.
Merge branch 'check_downward'