type promotion in WHILE
operator scoped for WHILE
fix type promotion for WHILE