Java backend: implemented the Sorted interface for KList and KSequence
Java backend: first step on removing TermCons from the Java KIL classes
Java backend: removed TermCons from the Java KIL classes for good
Java backend: fixed a bug related to function rules with [owise] attribute
Java backend: fixed a bug in determining whether a rule application is driven by pattern matching