IntrinsicsUplcConstrOption

Native-Constr Option intrinsics — thin delegation to UplcConstrOptionOperations.

The IntrinsicResolver dispatches to these when Option.method(...) is called on an Option whose lowered representation is SumUplcConstr. Type parameters are annotated @UplcRepr(TypeVar(Transparent)): the caller's concrete representation substitutes at the inline site. Every Option[_] container in the signatures is annotated @UplcRepr(UplcConstr) — under the per-signature annotation regime (no uplcGeneratorPolicy swap), this is how the dispatcher's inline self match { ... } lands on the UplcConstr code path and how its result stays in UplcConstr form.

Simple operations (isDefined, isEmpty, get) are implemented inline since they're single pattern matches. Higher-order operations (map, flatMap, filter, exists, forall) delegate to UplcConstrOptionOperations.