isl_ast_expr_from_*: use isl_val