   }
   {
     'name'  : 'constant.language.Type.fstar'
-    'match' : 'Type'
+    'match' : '\\b(Type)\\b'
   }
   {
       'name'  : 'constant.language.monad.fstar'

    'name'  : 'keyword.other.fstar'
    'match' : '\\b(opaque|logic|requires|ensures|modifies|match|with|and|kind|\
                  type|val|open|module|effect|default|new_effect|sub_effect|\
                  total|private|begin|end)\\b'
  }
  {
    'name'  : 'constant.numeric.integer.decimal.fstar'

  }
  {
    'name'  : 'keyword.logical-connective.fstar'
    'match' : '\\b(==>|<==>|\\\\/|/\\\\|forall|exists)\\b'
  }
  {
    'name'  : 'variable.other.generic-type.fstar'
