added kore.k, which will contain exclusively the syntax of those K constructs to be hooked to data-structures