The software would be designed with two particularities in mind. It should not require a high quality instructor to be of value. Another thing to explore is the viability of adding discrete mathematics to the standard high school offerings. There are many good reasons to do so, but it is not clear that the world is ready. Some ideas, such as modularity or recursion, are completely fundamental.
Most topics are important only in the sense that they serve to convey fundamental ideas.
Many topic choices which were appealing and efficient 15 years ago have lost their luster. Fundamental ideas need to be repackaged into topics that capture the imagination of the current crop of students. In this way, we can find adequate space in the curriculum. This repackaging is not simple. My goal is to repackage undergraduate theoretical computer science and discrete mathematics in an appealing and efficient manner.