Rename the Circuit type to SCircuit (for stateful)