coq snippets
Replace parenface with paren-face
Coq tweaks