Unmarshal: Hide type-breaking code behind Sys.opaque_identity

Closed Vincent Laviron requested to merge lthls/frama-c:unmarshal-opaque-identity into master

See description in #2594 (closed).

Merge request reports