Remove `Debug.Trace`
Remove `Debug.Trace`

We still need to handle pattern bindings in axiomatized modules in a more
principled way, but this is better than `Debug.Trace`

antalsz/hs-to-coq,antalsz/hs-to-coq