isl_*_eval: return an isl_val instead of an isl_qpolynomial