[opaque pointer types] Serialize the value type for atomic store instructions