[compiler] Infer phi types, extend mutable ranges to account for Store effects

[compiler] Infer phi types, extend mutable ranges to account for Store effects #838