Class extension (dot syntax for new methods)

Because there is no fully qualified name.
both have the exactly same header and type -> break at latest on link time.
Letting user decide is not acceptable and doing it through commands will not happen otherwise we would have head multiple inheritance with redefine, rename, undefine like eiffel for a year already.