added a first version of the KAST syntax