Encoded-circuit proof internals

Aggregation module for the codec and semantics internals of the canonical fan-in-two circuit encoding.