Implement type parameters in the middle of paths

r? @nikomatsakis