Fix phi types for phi nodes in type inferencer