Defining the Datomic schema