Group elements by type, show more info for elements, GUI feature to load specific elements or figures

[galoomba1]

The info would be:

• element counts of the element, maybe in the long term the name of the polytope (Add autogenerated names of polytopes + localization. #15)
• info of the element figure
• measures like volume (Add volume function #16)

Not sure how grouping by type would be done, probably using heuristics like Stella does. There was talk about using graph isomorphism to check which abstract polytope it is

I'm thinking of, for each element type, have a button to load it in the secondary view. Currently we don't even have the secondary view yet... (#17) This would also require reworking the element counts code a bit.

[vihdzp]

A few comments, plus issues I have spun off this one:

• Element counts are easy... except if we group by symmetry. I don't yet know how to do that.
• The name of the polytope is a separate feature, see Add autogenerated names of polytopes + localization. #15.
• There may be a large amount of element figures. Perhaps info for the dual might be enough?
• Volume is also something that we haven't implemented, see Add volume function #16.

Grouping by type can involve both heuristics to separate obviously different elements and more exact methods. But yeah, we'll have to think about what those exact methods will be.

For secondary views, I made #17. But I doubt we'll work on this for a long time.