Generate IR for while loops
Disallow arithmetic/compare operations on boolean and string types
Generate IR for repeat until loops