Add Read instances for Var & Literal
Generalize Formula type, add Foldable instance
Add fancy Show & Read instances for Formula
Parse AIGER files
unwind 0