Whilefix

Sigh. Have to add explicit subtyping for inductive/step variables for WHILE loops. Otherwise, cannot get proper correlated relationships between phi-vars. Thank god for: 

tests/liquid/pos/loops/while-04.js