the previous fragment starts a section
the next fragment starts a section
tags the next fragment
tags the previous fragment
define a very coarse Monoid for TaggingFragments where appending 2 TaggingFragments returns a Tag object with both list of tags
true if the object is a TaggingFragment
Those fragments are used to tag other fragments in a specification\