clean, future-proof translation of WHILE, OWHILE, LEAST
minor fix to AES example translation