Trait for all Constraint Solver expressions
Forwards-Backwards Constraint Solver
Represents either greater or equal to or less than or equal to Is passed to the constraint solver to resolve
Constant values must extend this trait see and firrtl.ir.Open
Extend to be a constraint variable
Trait for constraints with more than one argument