Parser - fixed usages of "K" to KSorts.K.