compute
Compute the type union of the object, which is an instance meta, and the argument, which may or may not be an enumeration (but must be a type).
Return
The most specific type that is a supertype of both self and another.
Parameters
self
An instance meta.
another
Another type.