add kast front end for new syntax