ic for bitemporal implementation over datomic