make domain_check safer
del module names + expose only solveset and domain_check