Add fields to instances
  syntax/coq.vim