Added an "operational" Datalog monad
Added the standard transitive closure example.