feat: replace placeholder costing with parameter-driven implementation

Removes unimplementedCostingFun placeholders for Value builtins and
connects them to their respective cost model parameters (paramLookupCoin,
paramValueContains, paramValueData, paramUnValueData).

Enables accurate execution cost calculation for Value operations in
Plutus Core scripts.

Author: Unisay

plutus-core/plutus-core/src/PlutusCore/Default/Builtins.hs

@@ -2060,7 +2060,7 @@ instance uni ~ DefaultUni => ToBuiltinMeaning uni DefaultFun where
           {-# INLINE lookupCoinDenotation #-}
        in makeBuiltinMeaning
             lookupCoinDenotation
-            (runCostingFunThreeArguments . unimplementedCostingFun)
+            (runCostingFunThreeArguments . paramLookupCoin)
 
     toBuiltinMeaning _semvar UnionValue =
       let unionValueDenotation :: Value -> Value -> Value
@@ -2076,23 +2076,23 @@ instance uni ~ DefaultUni => ToBuiltinMeaning uni DefaultFun where
           {-# INLINE valueContainsDenotation #-}
        in makeBuiltinMeaning
             valueContainsDenotation
-            (runCostingFunTwoArguments . unimplementedCostingFun)
+            (runCostingFunTwoArguments . paramValueContains)
 
     toBuiltinMeaning _semvar ValueData =
         let valueDataDenotation :: Value -> Data
             valueDataDenotation = Value.valueData
             {-# INLINE valueDataDenotation #-}
         in makeBuiltinMeaning
             valueDataDenotation
-            (runCostingFunOneArgument . unimplementedCostingFun)
+            (runCostingFunOneArgument . paramValueData)
 
     toBuiltinMeaning _semvar UnValueData =
         let unValueDataDenotation :: Data -> BuiltinResult Value
             unValueDataDenotation = Value.unValueData
             {-# INLINE unValueDataDenotation #-}
         in makeBuiltinMeaning
             unValueDataDenotation
-            (runCostingFunOneArgument . unimplementedCostingFun)
+            (runCostingFunOneArgument . paramUnValueData)
 
     -- See Note [Inlining meanings of builtins].
     {-# INLINE toBuiltinMeaning #-}