Changed primitive states now create KApps of sort KItem instead of K.
Merge pull request #342 from kframework/newparser-primitive-sort

Changed primitive states now create KApps of sort KItem instead of K.