Add Lamdu.Infer.Constraints towards using it