Gvim plugin for TLA+