Parameter Make.Address2Scalar

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