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 ...