Fate of map-tail

From Erights

map-tail syntax is said to be deprecated because of some grammar ambiguity. Exactly which syntax it is in conflict with should be documented, so that we can properly consider the benefit of removing it.