fix: classifyci::Semigroup (example)

from master
add: classifyci.lib to experimental libs (doc).