Vim: experimental coq hacks