ha szemantikailag is elemzi a programokat, akkor az már egy okos lépés. de a leírásból csupán az jött le nekem, hogy ez egy eddigieknél is magasabb szintû környezetet akar jelenteni, ami azért annyira nem nagy dobás, szóval valami más is lehet a háttérben.