update tutorial and manual to use new `impl Trait for Type` syntax

Replace `impl Type: Trait` with `impl Trait for Type` throughout tutorial and manual.