Introduce BoolVar struct

[alxiong]

Description

Introducing struct BoolVar whose creation automatically enforces a bool_gate(), distinguishing from normal Variable to avoid repeated checks and make API clearer.

closes: #91

---

Before we can merge this PR, please make sure that all the following items have been
checked off. If any of the checklist items are not applicable, please leave them but
write a little note why.

• Targeted PR against correct branch (main)
• Linked to GitHub issue with discussion and accepted design OR have an explanation in the PR that describes this work.
• Wrote unit tests
• Updated relevant documentation in the code
• Added a relevant changelog entry to the Pending section in CHANGELOG.md
• Re-reviewed Files changed in the GitHub PR explorer

[chancharles92]

@alxiong Nice work. There is one subtlety that needs to be addressed though.

[zhenfeizhang]

In general I want to advocate my "circuit ref" idea. For example

struct BoolVar<'a> {
  index: Variable,
  cs: &'a ConstraintSystem
}

On top of overloading operators here are some additional thoughts:

• to access the variable, we should use an API get_index(&self)->Variable -- i think it is a bit cleaner than into()
  • it makes more sense to me to implement Into/From for Vec<BoolVar> and Variable, in both directions, which are binary (de)composition
• to create new variables we should use associated function BoolVar::new(cs: &ConstraintSystem, value: bool) rather than Circuit::create_bool_variable(...) and so on...
• to check variable bound we can simply call bool_var.check_bound(), and we do not need to pass parameters

[chancharles92]

LGTM, we can wait for Zhenfei's approval before merging.

[zhenfeizhang]

LGTM2