Add FreeTrace.hs

Following up on the discussion in #9. It compiles but I haven't tested it.
Hmmm, this is a shame... I think it make sense that there cannot be an instance in general for `ProgramT`; I suspect one would be possible here, but it might be very difficult/non-trivail. Essentially, our use-case relies on these instances sadly...