Removing subsort KItem ::= Type to improve parsing times.

@dwightguth Please run the tests for this pull request.
I've made some optimizations that should improve the parsing times considerably, and I want to see if they are safe.