Fixtype of alists from ABNF alternations to ACL2 symbols.
This is the type of the alists that specify the names of the functions to parse groups and options. Both groups and options are defined by alternations.
