Symbolic bit expressions
Ripple-carry adder
It works with BitExp now
Move test to Test.hs
Generalize input
Simple constant propagation