libsyntax: Implement the `impl Trait for Type` syntax

r? @catamorphism