Add Lamdu.Infer.Recursive