- It would allow high-level programming like constraints statements a la Prolog.
- It would allow graphical block building a la PureData
- It would generate lower level version of these and allow a user to "zoom" into the generated code down to the machine code (or pseudo-code).
- It would allow to link from lower level imperative routines.
- It would have a fucking wysiwyg GUI editor.
- It would be designed to have a powerful IDE and a top-notch Intellisense. I believe these need to be thought at the design step of the language, not added later.