Positive globals

[ThomSerg]

Collection of positive decompositions of globals.

Table

• decomp
• decomp_linear -> MDD
• decomp_pos -> NonReifiedTable

ShortTable

• decomp
• decomp_pos -> RowSelectingShortTable (issue with solution count)

NegTable

• decomp

NegShortTable

• decomp
• decomp_pos

Circuit

• decomp
• decomp_pos
• decomp_lin -> has a branch

MDD

• decomp
• decomp_pos

Regular

• decomp -> MDD

InDomain

• decomp_lin: any(var == val) instead of var != val

[IgnaceBleukx]

Slightly misused this PR, and added a linear decomposition for InDomain.
I'm assuming this will improve quite a bit for linear solvers, as we avoid all of the != constraints like this.

[tias]

To revise: which one to propose for master (rest, revert/remove from this PR)