reimplement change overwritted by rebase

Author: williamdemeo

src/Ledger/Dijkstra/Specification/Transaction.lagda.md

@@ -243,8 +243,7 @@ Of particular note in the Dijkstra era are
         -- New in Dijkstra --
         txSubTransactions         : InTopLevel txLevel (List (Tx TxLevelSub))
         txGuards                  : ℙ Credential
-        txRequiredTopLevelGuards  : InSubLevel txLevel (ScriptHash ⇀ Datum)
-                                                     -- ^ TODO (CIP-0118): change to ℙ (Credential × Maybe Datum)
+        txRequiredTopLevelGuards  : InSubLevel txLevel (ℙ (Credential × Maybe Datum))
         ---------------------
 
       reqSignerHashes : ℙ KeyHash