fact: Definition substring := Eval compute in String.substring.
imports: Coq.Strings.String Coq.Lists.List Fiat.Parsers.ContextFreeGrammar.Core Fiat.Parsers.ContextFreeGrammar.Reflective Fiat.Parsers.ContextFreeGrammar.PreNotations Fiat.Common.Notations