added support for iteration over sets and maps; fixed set concatenation in the right-hand side
added more javadoc for Bottom
added comments to DataStructureToLookupUpdate
more comment regarding sets and maps
Java backend: moved KEqual:ite from MetaK to TermEquality because MetaK functions will not be evaluated during kompilation
Java backend: added an assertion to catch unevaluated ground functions
Java backend: fixed a bug related to unifying KLabelIndex and TokenIndex
Java backend: temporary hack to make #if#then#else#fi work for KList's
Java backend: changed the signature of the constructor of KItem because I need to get hold of the definition object when computing the sort
Java backend: more progress on computing the sort of a KItem based on user-defined sort predicate rules
bad decision earlier; should have received TermContext in the constructor of KItem
Java backend: fixed a stupid bug introduced by myself earlier
Java backend: finally added support for user-defined sort predicate rules
included environment-based fun-untyped into regression test; revised MY-PATTERN-MATCHING module