Some primitives could be wrapped, unwrapped and rewrapped in order to be used as other ones based on structural subtyping relations.
You can think of subtypes as wrappers and supertypes as contents.
However there are some non-trivial subtyping relations: