Test definiens cursors and verify that all identifiers are bound (#1200)

Closes #1191 
Closes #1199 

- Add output of definiens cursors in all bindings snapshots
- Check all `Identifier` and `YulIdentifier` nodes are bound to a
reference or definition (except those under `ExperimentalFeature`) in
snapshots
- Fix missing binding for catch clauses: the identifiers there can only
be `Error` or `Panic`, but they are still parsed as identifiers (maybe
it's better to add them as keywords?). Also added them as error
definitions in built-ins.
- Relax modifier definition rules to bind the name identifier even if
failing to parse the body.

crates/solidity/inputs/language/bindings/rules.msgb

@@ -1606,11 +1606,14 @@ inherit .star_extension
 
 @modifier [ModifierDefinition
     @name name: [Identifier]
-    body: [FunctionBody @body [Block]]
 ] {
   attr (@modifier.def) node_definition = @name
   attr (@modifier.def) definiens_node = @modifier
+}
 
+@modifier [ModifierDefinition
+    body: [FunctionBody @body [Block]]
+] {
   edge @body.lexical_scope -> @modifier.lexical_scope
 
   ; Special case: bind the place holder statement `_` to the built-in
@@ -1939,6 +1942,15 @@ inherit .star_extension
   attr (@body.lexical_scope -> @catch_params.defs) precedence = 1
 }
 
+@stmt [Statement [TryStatement [CatchClauses [CatchClause
+    [CatchClauseError @name [Identifier]]
+]]]] {
+  node ref
+  attr (ref) node_reference = @name
+
+  edge ref -> @stmt.lexical_scope
+}
+
 
 ;;; Revert statements
 

crates/solidity/inputs/language/src/definition.rs

@@ -6920,6 +6920,12 @@ codegen_language_macros::compile!(Language(
             functions = [],
             enabled = From("0.6.2")
         ),
+        BuiltInType(
+            name = "Error",
+            fields = [BuiltInField(definition = "string reason")],
+            functions = [],
+            enabled = From("0.6.0")
+        ),
         BuiltInType(
             name = "$ErrorType",
             fields = [BuiltInField(definition = "bytes4 selector")],
@@ -6980,6 +6986,12 @@ codegen_language_macros::compile!(Language(
             ],
             functions = []
         ),
+        BuiltInType(
+            name = "Panic",
+            fields = [BuiltInField(definition = "uint errorCode")],
+            functions = [],
+            enabled = From("0.6.0")
+        ),
         BuiltInType(
             name = "$StringType",
             fields = [],