New `grammar_inductor.py` module, using 'flat' grammar categories after Generalization option removal.