libsyntax: Implement the `+` syntax for multiple trait bounds

r? @catamorphism