Changed primitive states now create KApps of sort KItem instead of K.
Added assert not null into parser constructors
Added comment explaining StateReturn.compareTo().
Merge pull request #342 from kframework/newparser-primitive-sort

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

Added assert not null into parser constructors
Merge pull request #344 from kframework/newparser-statereturn-compareto

Added comment explaining StateReturn.compareTo().
Merge pull request #346 from kframework/newparser-3

Newparser 3