cleaned up pl-solve-* and do-solve-all interface to match interactive