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
Merge pull request #268 from kframework/data_structure_iteration

added support for iteration over sets and maps; fixed set concatenation ...
Java backend: cleaned up methods related to maintaining variables inside a term; added some javadoc
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
included environment-based fun-untyped into regression test; revised MY-PATTERN-MATCHING module
fixing failing tests
updated outputs of logik; the pretty printer seems to be smarter
updated an output; temporarily comment out an assertion because if fails visitor/imp.k somehow