Start moving things to the Bra namespace.

In addition, am about to start moving the main code into a
separate class.
Conclude move of main to StateDumper.