Improve highlighting of subset types
Improve highlighting of subset types

Before this, only the first subset on each line was highlighted.

FStarLang/fstar-mode.el,FStarLang/fstar-mode.el,FStarLang/fstar-mode.el