Function ukanren::fresh

pub fn fresh<F, I, const N: usize>(f: F) -> impl Goal<Iter = I> + Clone where
    F: Fresh<N, Iter = I> + Clone,
    I: Iterator<Item = State>, 

Goal that introduces one or more fresh relational variables.