Improving the pretty printing.

New pp files from the metaborg-coq project + | Lists for declarations.