Three valued NoGood representation

[ellmau]

Is your feature request related to a problem? Please describe.
To implement #79 a sufficient representation will be needed.

Describe the solution you'd like
New Implementation of the already existing NoGoods for 2 values.
Due to the need of 4 values (Not set, 'undefinded', 'true', and 'false') it is still possible to represent a NoGood by means of two bitmaps.

Describe alternatives you've considered
A general representation of n-valued NoGoods, though this would need less efficient data-structures than the currently used pair of roaring bitmaps

Additional context
More fine-grained tickets/issues to gain smaller work-packages.