[pl] more disambiguation via unification