Partial strictness for KLabels.
Refactoring to reduce warnings
Added test to test suite.
Merged strictness tests.
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.
Adding unit test instead of ktest.
removed Sorted interface; added Term#sort and Term#isExactSort instead
fixed isExactSort detection in KItem
minor reformatting
fix NPE due to possibleMinimalSorts
Added extra phase for outer parser.
Add phase name for inner parser
Added support for empty rules.
clean up some ugliness in UnparserFilterNew
fix stupid compile error
changed BitVector#toDigits to return the leading 0s
changed bitvector representation to <bitwidth>'<value>
added missing BuiltinBitVectorOperations#ne