LEAN-756 support multiple abstract sections; teaser/graphical section categories
JATS allows multiple abstract sections. We add two extra section categories, abstract-teaser & abstract-graphical. Now we can import/export gracefully all abstract types