Build-blocking compile verifier: an edge's label or any properties key that
is not a valid Arcadic.Identifier raises a Spark.Error.DslError (surfaced as a
compiler diagnostic under --warnings-as-errors). Edge labels are interpolated
into Cypher (MERGE (a)-[e:LABEL]->(b)) and property keys into SET e.<key>, so
both are validated at declaration time.