libsyntax: Implement the `+` syntax for multiple trait bounds. r=tjc