Fixed Solver methods shadowing value type

Also added functional-style construction ability to the
FiniteDiscreteDomain type.
Added ExhaustiveFiniteDomainSolver to smocs-core

It's still a work in progress, but does test out.  Constraints are not
addressed yet and are next up.