Experimenting with cKanren's new templateo constraint, which is essentially a lazy, declarative version of Prolog's copy_term/2.