Fn trait hierarchy not respected

[nikomatsakis]

The unboxed closure RFC stipulated that there should be blanket impls to allow interconversion between the various Fn traits. WIth the new coherence rules, this should be easily achieved.