Bare traits 2

r? @nikomatsakis