Massimo Dentico wrote: > So, is up to you to define a correct method of subtyping and > so a correct subtype relation (wich is different from establishing > a behavioral equivalence relation), in terms of the underline > Slate semantics. ".. in terms of the *underlying* Slate semantics." Sorry for my crappy English. Regards. -- Massimo Dentico