Description: Multiply-polymorphic modular language with highy flexible syntax. Unique inheritance model allows multiple inheritance, multiple polymorphism, constrained genericity, and covariant attributes via immutability. Due to identityless nature of types, a type can have an infinite number of supertypes and subtypes.