Type checker correction for "while true" loops, fixes #210