edit docstring; remove obsolete comment; add coverage tests
ellipse: handle prec=None case and arbitrary ellipse failure
_tsolve: return None for all unhandled expressions