`(run n (x) goal0 goal ...)`syntaxInterface operator for miniKanren. Behaves like

`run*`, except that it will only provide up to`n`possible unifications of`x`. This is useful if there are a finite number of solutions and one wants to merely*take*the first`n`possible solutions.