Removed the old quantification variable from Bit in the example.
Modernized the verify_currying example
README: Indent with two spaces consistently
README: Redundant ‘do’
Reindent everything by 2 spaces
Unify decode, decide and known
Add a Mux circuit primitive
(&&), (||): Grow preexisting And, Or when applied to one
Circuit, Bit, Lit: Show instances
QBF: Store the formula as a Set
Add primitives to build a Formula
Add formulaAssert