Solve inequations containing sqrt().

More generally, functions x->x^q are now handled in inequation solver,
where q is a rational or a real.