message: fix: adjust for change in behavior of Lean expected types at the end of a list.
diff: {
  "name": "lean4",
  - "version": "0.0.78",
  + "version": "0.0.79",
  "lockfileVersion": 2,
  "requires": true,
  "packages": {
  "": {
  "name": "lean4",
  - "version": "0.0.78",
  + "version": "0.0.79",
  "license": "Apache-2.0",
  "dependencies": {
  "@esm-bundle/react": "^17.0.2-fix.1",
  