Use equivalentct for strong privacy of Blanchet protocol
Avoid infix operator (<<)

It messes up emacs colorization...
Move seed_statements to its own module
Show progression in normal (non-verbose, non-debug) mode
More precise messages