added MUNCH files

src/multisets/ASTMapaFun.scala

src/multisets/ASTMultisets.scala

src/multisets/ASTStars.scala

src/multisets/BuildingModels.scala

src/multisets/CheckingConsistency.scala

src/multisets/CreateDisjunctions.scala

src/multisets/FormulaConstructor.scala

src/multisets/MAPA-FunExamples.scala

src/multisets/MAPA-FunFunctionEliminations.scala

src/multisets/MAPA-FunPrinter.scala

src/multisets/MAPA-FunSetExpansionTranslator.scala

src/multisets/MAPA-FunTranslation2MAPA.scala

src/multisets/MAPAParser.scala

src/multisets/MAPARun.scala

src/multisets/Main.scala

src/multisets/MainAST2MultisetsTranslator.scala

src/multisets/Multiset.scala

src/multisets/Multiset2StarsTranslator.scala

src/multisets/MultisetFormulaPrinter.scala

src/multisets/NormalFormTranslator.scala