making WHILE and OWHILE translate to slightly better CakeML