Add FreeTrace.hs

Following up on the discussion in #9. It compiles but I haven't tested it.
Yeah, I punted on those last night since the definitions are a bit more involved. Shouldn't be too hard to add them. I can give it a go later today unless you want to try.