Work on recording tools.
Fixed bug in Suspend, Galois working again.
Changed Galois namespaces.
Tests for recording tools.
Other tests for recording...