Remove the support for Trace.
Merge pull request #98 from pjonsson/remove-trace

Remove the support for Trace.
Implement let-sinking and improve the support for printing the untyped format.
Merge pull request #99 from pjonsson/let-sinking

Implement let-sinking and improve the support for printing the untyped format.