[Constraint] Introducing BoolVariable

[alxiong]

we could introduce a struct BoolVariable which on initialization would enforce it's binary value. This would makes our API for gates like unpack() or logic_gate() clearer and less error-prone when it comes to deciding when to enforce/check {0,1} on the wire variable.

cc @zhenfeizhang