Document more precisely the rules for selecting closure traits.

[alercah]

Currently, the reference is vague about when a closure is Fn or FnMut (all closures are FnOnce). Currently, the closures page merely says that the compiler will work it out, but we need to be more specific about precisely what the semantics are.

It may be worth rewriting this page in general to be more authoritative as well.