UplcConstrOptionOperations

Native-Constr Option operations — support-module bindings.

Every Option[_] in the signatures is explicitly annotated @UplcRepr(UplcConstr) so the support-op body operates on native-Constr Options regardless of the caller's policy. Type parameters are @UplcRepr(TypeVar(Unwrapped)) — element bytes are in A's stable default representation, unaffected by any policy switch (there isn't one anymore).

Callers (the dispatcher in IntrinsicsUplcConstrOption) receive the user's Option in whatever shape and rely on the standard representation-conversion machinery to pass a SumUplcConstr value here. The match in each body is consequently always a genMatchUplcConstr destructure.