Macro mini_kanren::substitution

macro_rules! substitution {
    () => { ... };
    ($($var:ident : $val:expr),*) => { ... };
}

Construct a substitution