Objects may be automatically relinked to upgrades or extensions, or translated into a new universe of values. We need modularity for object sharing and fine grain software competition. However, there currently exist no programming system that implements this principle. The Tunes HLL must enable programmers to specify what they want without specifying more, so they can express exactly what they need, and let it be optimized later, according to the needs that will arise of a representation suited to something else than the original coding. Among the basic constructs of the language, there must be some way to quotient a structure by any given equivalence relation on that structure, and keep whatever operations on this structure with which the equivalence relation is compatible.
Security Objects come with their full specification, so that system security is never endangered.
Parallelizability is needed because parallel computers have so much performance improvement to bring to sequential ones, and a distributed system is inherently parallel. This is a feature of the language, because it means its semantics allow efficient semi-compilation and interpretation. This is also a feature of the standard library and environment. The rest follows from dynamism, extensibility, and reflexivity. Interactivity is needed, because else, yet other languages will have to be written and learnt, so this one won't have been useful.