pub type ConstraintBool = ConstraintExactIdeal<bool>;
enum ConstraintBool { Single(Option<bool>), ExactIdeal { exact: Option<bool>, ideal: Option<bool>, }, }
exact: Option<bool>
ideal: Option<bool>