+ small example/playground for chaining formulas because those (_ BitVec 64) are annoing
+ small example/playground for chaining formulas
because those (_ BitVec 64) are annoing

listochkin/icfp-contest-2013-cw