Adding parenthesize for coq and fixing some binding definitions that were stopping the pretty printing.

It works now, although I still need to merge binding rules and fix the output to look better.