some fixes in terms of map
finished all problems with unsupported map
fixing problems in unsupported sort of Map and fixing some problems in format of mapping kList
solve all problems with sort of variables in java backend
delete s in several files
delete s in several files
change Bag to MSet
fix conflict
Merge branch 'kframework-java_rewrite_engine' into java_rewrite_engine
change all BagItem to MSetItem
change all BagItem to MSetItem
some changes in changing MSet to List
fixing all unsupported map/set types
change addBuiltin to addBuiltins and change allocated to alloc
fixing by adding some more sort info and changing KLabel to KItem
fixing bugs
fixing problems and adding sort info
fixing hasUnionMarker with adding sort info
fixing syntax error
fixing some problems with compilation steps