Finite circuit counting

This umbrella exports exact finite enumerations of circuit syntax.