Various utilities such
nat : MicroKanren.Kernel.Term Basics.Int -> MicroKanren.Kernel.Goal Basics.Int
A goal that binds a variable to the natural numbers.