Add Lamdu.Infer.Update
Infer: Export plScope lens
Oops: infer intersected subst and constraints with given scope. This is true for subst, which is applied on the result type already, but not on the constraints.