Core circuit API

This is the focused import for CSLib's finite-arity signatures, shared programs and circuits, and this library's semantics, costs, and translations. Concrete bases, analyses, and lower-bound developments remain in their own modules so downstream users do not need the full research surface.