Type-safe and intuitive Scala meta-DSL for Datomic, the immutable database of facts