Add FreeTrace.hs

Following up on the discussion in #9. It compiles but I haven't tested it.
Might want to add a `Foldable mt` constraint to restore some sort of structured printing like this.