Bounded-fan-in lower bounds

This module collects size and depth lower bounds obtained from the number of essential inputs of a bounded-fan-in circuit.