Algebraic circuits

The algebraic-circuits library, imported wholesale: finite-arity universal algebra and shared circuit computation on CSLib's generic circuit model (Cslib.Circuits), with semantics, costs, translations, and lower-bound frameworks over arbitrary carriers and gate bases. Its declarations keep the Algebraic namespace; see ROADMAP.md (item 7) for the plan to consolidate it with Complexitylib's own circuit developments.