snippets
add commands to transform symbol case at point
[haskell] tweak company and shm settings
[coq] font lock more unicode symbols