updated typing rule for while loop.  all tests now pass.