fix: classifyci.lib: example Semigroup
add: concat_im: concat or intmat/bigintmat