Serious matching bugs fixed

I've removed the reverseHeader stuff, and fixed the confusion between expected and actual interactions.

As a bonus, in a separate commit I've added some default imports for REPL sessions, to make REPL exploration of the software easier.