Demonstrate Racket/Datalog interop more and add unsyntax