Added more Scalaz type support to DiscreteDomain
Trimmed down extraneous code in ExhaustiveFiniteDomainSolver