Parameter Make.Offset2Scalar

Offset is above Scalar on the domain stack, so we decompose a Offset stack in a Scalar stack and a context: Lift.ctx address_ctx = (scalar_ctx,f) means that f scalar_ctx = address_ctx_ctx.

Allows serialization of a Scalar.binary in a Offset domain.