AN object-oriented language combining multi-methods with a

classless object model, object-based encapsulation and

optional static type checking. It distinguishes between

subtyping and code inheritance. Includes both explicit

and implicit parameterisation of objects, types, and methods.