Implementing Phi function type inference