Multiply-polymorphic modular language with highly flexible syntax. Unique inheritance model allows multiple inheritance and polymorphism, constrained genericity, covariant attributes via immutability. Due to identityless nature of types, a type can ha...