message: Tweak grammar, first steps at improving highlighting
diff: {
  "language": "lean",
  "scopeName": "source.lean",
  - "path": "./syntaxes/lean.tmLanguage.json"
  + "path": "./syntaxes/lean.json"
  }
  ],
  "keybindings": [
  