This is now supported in Leon:

  Map(elem1, elem2, ...) where elem* are Tuple2 literals.

In particular we can have:

  Map(1 -> 2, 3 -> 4, (5, 6))