Add FreeTrace.hs

Following up on the discussion in #9. It compiles but I haven't tested it.
Can we use the multi-line style for `run` (like `runTraceT`)?