Partial strictness for KLabels.
Refactoring to reduce warnings
Added test to test suite.
Merged strictness tests.
Merge pull request #312 from kframework/klabel-strictness

Klabel strictness