Experimenting with cKanren's new `templateo` constraint