modify domain_check docstring; give it a recursion helper
expose only solveset and domain_check