A trait representing a value which can have some space dedicated to use for tagging a union
If you implement this trait incorrectly, you will break memory safety.
A marker trait guarantees that untag_in_place is a no-op for items tagged with Option0
Items tagged with Option0 should be able to be directly accessed as if they were not tagged
in any way.