subsorted KResult to KItem instead of K

Fixed https://github.com/kframework/k/issues/718