Making K the default start symbol.
   - all but the list sorts are subsorted to K