Export ExtensionSet
haddock
Fix test suite