Cardano Updates

Replace raw UPLC constructors and the per-arity fresh-name plumbing in the Simplify, Inline, CaseOfCase and EvaluateBuiltins specs with the shared Transform.Lib helpers and the var.x / lam.x / name.x dot syntax. Golden outputs are unchanged.

Shared UPLC term builders for the Transform.*.Spec modules: var.x and lam.x occurrence/binder handles via OverloadedRecordDot, name.x for bare names, the ite helper, and the sopTrue/sopFalse vs builtinTrue/builtinFalse boolean constants. Variable identity is derived deterministically from the hint text, so one hint denotes one variable.

Rename true/false to sopTrue/sopFalse (the sum-of-products Bool encoding) and add
builtinTrue/builtinFalse (the builtin bool constant), so the two encodings are
named explicitly. Add an `ite` helper for the forced ifThenElse application and
use it across the CaseOfCase, EvaluateBuiltins and Simplify specs, dropping the
local `ite` in Simplify.

Replace raw constructors with the shared helpers (app, builtin, force, case_,
con, text, constr, true, false, err) and chained `app` for mkIterApp, in the two
modules that already import Transform.Lib. Only mkConstant @Bool / @() /
@BS.ByteString stay raw, as Lib has no equivalent (con/text cover Integer/Text).

Replace raw `Var () name.x` / `LamAbs () name.x` with the var.x / lam.x handles
for consistency with the other transform specs. These modules keep their raw
constructors for the non-variable parts (mkIterApp, Force, Builtin, Constr).

The bare-Name handle does not allocate fresh names; it derives a deterministic
Unique from the hint text, so `name.x` reads more accurately than `fresh.x`
(addresses review feedback). Rename the goldenVs* test-name params to testName
to avoid shadowing the imported handle.

Turn var and lam into OverloadedRecordDot handles (var.x :: T, lam.x :: T -> T)
so occurrences and binders read as var.x / lam.x instead of var fresh.x. Bare
names (predicate args, free-var lists, raw-constructor modules) still come from
the fresh handle. Drop the now-redundant brackets and $ that hlint flagged.

* Certifier: refactor modular relation combinators

* Update test-certifier-report test

- Transform/Lib.hs:114 — uniqueFromText now fails fast on non-ASCII or
  overflow-length (>7 byte) hints instead of silently aliasing Uniques
  (https://github.com/IntersectMBO/plutus/pull/7774#discussion_r3388121673)

On 32-bit targets (notably wasm32) several builtin denotations narrow an
Integer index/length to the platform Int before bounds-checking, which
wraps and silently diverges from 64-bit evaluation. Gate the fixes behind
WORD_SIZE_IN_BITS so 64-bit platforms compile the original code unchanged:
no semantics, cost, or golden change on any platform the node runs on.

Affected: sliceByteString, indexByteString, readBit, indexArray,
integerToByteString (hardcoded 8-byte word), and the PlutusTx wrappers.

Fixes #7808.

Use OverloadedRecordDot for fresh-name generation in the Transform.* specs:
fresh.a in place of the freshNames2..8 ladder and name. The Unique is derived
from the hint text, so one hint denotes one variable.

Complete the Transform.Lib migration for floatDelay4, and reword the true/false
and fresh-name docs per review.

Move helpers (`var`, `lam`, `app`, `delay`, `case_`, `builtin`,
`addInteger`) from `Transform.Inline.Spec` into a new shared
`Transform.Lib` module, extend with `force`, `con`, `err`, `headList`,
`ite`, `true`, `false`, `constr`, and a `T` alias for
`Term Name DefaultUni DefaultFun ()`.

Migrate `Transform.Simplify.Spec` to use these helpers throughout,
replacing inline `LamAbs ()` / `Apply ()` / `Force ()` / `Delay ()` /
`Var ()` / `Builtin ()` / `Error ()` / `mkConstant @Integer ()` /
`Constr ()` / `Case () _ (V.fromList _)` constructors and per-test
`plus`/`con` duplicates. Inline trivial `let one = con 1` /
`two = con 2` / `three = con 3` bindings.

Local bindings that shadowed top-level helpers are renamed to
semantic identifiers describing their role (`dupLam`, `forceAddLam`,
`applyLam`, `delayLam`, `trueBranch`, `falseBranch`).

No behaviour change; all goldens unchanged.