Add a loop {} construct for infinite loops, and use it in test cases. See #1906 for details.
will guarantee they have unit type.