Type inference inferType takes PP which now has map for vars