doc: clean up isl_val documentation