group glossary entries by lemma (sequence)

[kohlhase]

We should group the glossary entries by lemma. For instance, we have multiple entries for "addition", and we currently see

• addition ....
• addition ....

Here we should generate something like

• addition
  • ....
  • ....

Also we currently have

• aliquot sequence Definition, Concept Graph de
• aliquot sum Definition, Notations, Concept Graph de
  which should be
• aliquot
  • aliquot sequence Definition, Concept Graph de
  • aliquot sum Definition, Notations, Concept Graph de

This would make the glossary much more structured.
cc: @m-iancu

[kohlhase]

In the first case, we have to think about what we can add to the "title" to distinguish the different lemmata. For addition this would probably the theory name. I am not sure about how to do that for others.

[kohlhase]

@m-iancu Actually the theory name is a system identifier. Maybe that needs a "verbalization" as well. Maybe we can add a "title" to the modnl and the narrative theory.

[kohlhase]

Note that we have to find a good way to combine the two structuring operations and treat the resulting complex objects as "glossary entries". Which are object to pagination (that should make pagination easier).