Add FreeTrace.hs

Following up on the discussion in #9. It compiles but I haven't tested it.
We will also need `MonadTransControl`, `MonadBase`, `MonadBaseControl`, and `Alternative`.