Implementing `loop` as syntactic sugar for infinite loops.