> Essentially what I ask is is there any particular reason for doing
> things the way they have been done, or would the "C++ inheritence
> analogy" approach work equally well.

We need it if we ever do something like C++ multiple inheritance ;-)
(The case where in C++ a cast changes the value of a pointer by a constant
offset depending on actual type of pointer and target type of the cast.)


Martin