Duplicate keys in map constructor

[michaelhkay]

We say (concerning map constructors)

If two or more entries have the [same key value] then a dynamic error is raised [[err:XQDY0137].

I think we should say:

if every MapKeyExpr is a Literal then this error SHOULD be reported as a static error.