Var and walk for microkanren