The class AC⁰

Surface module for Complexity.AC0: Boolean-function families computable by constant-depth, polynomial-size circuit families of unbounded fan-in AND/OR gates with free negation on wires. The definition lives in Complexitylib.Circuits.AC0.Defs; separation results against AC⁰ are a roadmap item and will surface here.