gf-3.1.6: lib/src/polish/ExtraPol.gf

--concrete ExtraPol of ExtraPolAbs = CatPol ** {
--
-- }