pub fn validate_datom(
  state: state.DbState,
  tx_datoms: List(fact.Datom),
  d: fact.Datom,
) -> Result(Nil, String)