Add FreeTrace.hs

Following up on the discussion in #9. It compiles but I haven't tested it.
Hmmm, to avoid it looking to gnarly, I'd probably leave `go` as is; I don't really have a set practice for stuff in `where`-clauses. Also, would you indent `go` by two spaces below the `where`-clause? (Sorry for all the nitpicking!)