Decision Procedures for Elementary Sublanguages of Set Theory. XI. Multilevel Syllogistic Extended by Some Elementary Map Constructs 19,23 EUR*