Add FreeTrace.hs

Following up on the discussion in #9. It compiles but I haven't tested it.
Sure. For `go` as well or just `run` since it's top-level?