[coq] comments
[coq] use forall unicode symbol
[coq] use parenface
[haskell] comment
[coq] snippets