Made the new parser parse the outer syntax of K, by specifying the syntax in K.