[Builtins] Remove vestiges of 'caseData' (#7199)

This removes what's left of `caseData` from everywhere, including Plinth.

Author: effectfully

cardano-constitution/test/Cardano/Constitution/Validator/Data/GoldenTests/sorted.cbor.size.golden

@@ -1 +1 @@
-2033
+2038

cardano-constitution/test/Cardano/Constitution/Validator/Data/GoldenTests/sorted.large.budget.golden

@@ -1 +1 @@
-ExBudget {exBudgetCPU = ExCPU 420427505, exBudgetMemory = ExMemory 2101768}
+ExBudget {exBudgetCPU = ExCPU 420523505, exBudgetMemory = ExMemory 2102368}

cardano-constitution/test/Cardano/Constitution/Validator/Data/GoldenTests/sorted.pir.golden

@@ -503,7 +503,7 @@ program
               {all dead. dead}
   in
   letrec
-    ~caseData_go : list (pair data data) -> List (Tuple2 data data)
+    ~matchData_go : list (pair data data) -> List (Tuple2 data data)
       = (let
             a = pair data data
           in
@@ -519,7 +519,7 @@ program
                   {data}
                   (fstPair {data} {data} x)
                   (sndPair {data} {data} x))
-               (caseData_go xs))
+               (matchData_go xs))
   in
   let
     !fun : List (Tuple2 data data) -> Bool
@@ -5363,7 +5363,7 @@ program
             {all dead. dead})
         nt
         (\(ds : Maybe data) (cparams : data) (ds : Maybe bytestring) ->
-           Just {List (Tuple2 data data)} (caseData_go (unMapData cparams)))
+           Just {List (Tuple2 data data)} (matchData_go (unMapData cparams)))
         (\(void : unit) ->
            (let
                r = Maybe (List (Tuple2 data data))

cardano-constitution/test/Cardano/Constitution/Validator/Data/GoldenTests/sorted.small.budget.golden

@@ -1 +1 @@
-ExBudget {exBudgetCPU = ExCPU 61549309, exBudgetMemory = ExMemory 277674}
+ExBudget {exBudgetCPU = ExCPU 61645309, exBudgetMemory = ExMemory 278274}

cardano-constitution/test/Cardano/Constitution/Validator/Data/GoldenTests/sorted.uplc.golden

@@ -1 +1 @@
-2023
+2031

cardano-constitution/test/Cardano/Constitution/Validator/Data/GoldenTests/unsorted.cbor.size.golden

@@ -1 +1 @@
-ExBudget {exBudgetCPU = ExCPU 582792360, exBudgetMemory = ExMemory 2974703}
+ExBudget {exBudgetCPU = ExCPU 582936360, exBudgetMemory = ExMemory 2975603}

cardano-constitution/test/Cardano/Constitution/Validator/Data/GoldenTests/unsorted.large.budget.golden

@@ -433,7 +433,7 @@ program
               {all dead. dead}
   in
   letrec
-    ~caseData_go : list (pair data data) -> List (Tuple2 data data)
+    ~matchData_go : list (pair data data) -> List (Tuple2 data data)
       = (let
             a = pair data data
           in
@@ -449,7 +449,7 @@ program
                   {data}
                   (fstPair {data} {data} x)
                   (sndPair {data} {data} x))
-               (caseData_go xs))
+               (matchData_go xs))
   in
   let
     !cfg : List (Tuple2 integer ParamValue)
@@ -5298,7 +5298,7 @@ program
             {all dead. dead})
         nt
         (\(ds : Maybe data) (cparams : data) (ds : Maybe bytestring) ->
-           Just {List (Tuple2 data data)} (caseData_go (unMapData cparams)))
+           Just {List (Tuple2 data data)} (matchData_go (unMapData cparams)))
         (\(void : unit) ->
            (let
                r = Maybe (List (Tuple2 data data))

cardano-constitution/test/Cardano/Constitution/Validator/Data/GoldenTests/unsorted.pir.golden

@@ -1 +1 @@
-ExBudget {exBudgetCPU = ExCPU 59867566, exBudgetMemory = ExMemory 268275}
+ExBudget {exBudgetCPU = ExCPU 60011566, exBudgetMemory = ExMemory 269175}