The parser for Krake definitions