Trait/fn bounds part 2: Inferred default bounds and looser restrictions on unbounded trait/fns.

r? @nikomatsakis