Allow ~fn:Copy() to be copied.
Check existential type contents against destination trait bounds.
Fix pretty-printing builtin bounds on closures and traits