Visualization improvements
Some changes in lc; --dont-merge-useless; mulassoc

mul-assoc (nontotal) is now officially supported.
Actually it works much better with --dont-merge-useless,
which forbids proving equivalence of two nodes if
it won't lead to more node merging.
Also implemented reverseLikeness, but it doesn't seem to
be useful.