I am changing the syntax of kore a little bit in order to create the parser easily, since I think I am allowed to design my own syntax of kore. It means we want to have KList like KLabel ( [KList]   , [KList] ,  ...). Basically, it allows me to know where is the separation of different of KList.