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