fix: classifyci::Semigroup (example)
add: classifyci.lib to experimental libs (doc).