aig-0.2: And-inverter graphs in Haskell.