qishen

Thanks for answering me on your phone! I still don't have time (mainly because of procrastination) to look at `Compile.hs` and make changes for the previous PR yet but will...

@ryzhyk You are very close to convincing me to use ddlog directly. I tried my own implementation built upon internals but does not work well. I'm still exploring the potential...