Prepping checks for solvability and uniqueness

Modified some docstrings, moved around isvalid() and created some empty
functions.