Better buffer/tab navigation
Different coq bindings
Vimux haskell integration, and unmap K in visual