Partial strictness for KLabels.
Refactoring to reduce warnings
Added test to test suite.
Fix regular expression. Adding the "|" operator to Token to allow for String declarations.
Adding regression test for lexical extension.
Revert "Adding regression test for lexical extension."

This reverts commit 9f3e097468c458e6a42ea038d28da6af5a3d1556.
Merged strictness tests.
Adding unit test instead of ktest.
Merge pull request #312 from kframework/klabel-strictness

Klabel strictness
Merge pull request #317 from kframework/lexer-fix

Fix regular expression. Adding the "|" operator to Token to allow for
removed Sorted interface; added Term#sort and Term#isExactSort instead
fixed isExactSort detection in KItem
minor reformatting
fix NPE due to possibleMinimalSorts
Merge pull request #322 from andreistefanescu/master

removed Sorted interface; added Term#sort and Term#isExactSort instead
Added support for empty rules.
Added extra phase for outer parser.
Add phase name for inner parser
Merge pull request #330 from kframework/parser-phases

Parser phases
Merge pull request #329 from kframework/empty-rule-fix

Added support for empty rules.
lgtm