Added an example grammar from a textbook (attributed in comment), Glr_parser.Make().grammatical_closure seems to do the right thing (output matches example in the textbook).