message: Comments (but not doc-comments or module comments) are allowed inside expressions too
diff: {
  "match": "\\b(?<!\\.)(begin|end|using)(?!\\.)\\b",
  "name": "keyword.other.lean"
  - }
  + },
  + { "include": "#dashComment"},
  + { "include": "#blockComment"},
  + { "include": "#stringBlock"}
  ]
  },
  "dashComment": {
  