miniKanren with declarative copy term (copyo)