Type splice should not require `typename` in parameter declaration

[katzdm]

As far as I'm aware, the use of a splice to name the type for a function parameter should be a type-only context. It therefore should not require a leading typename keyword (example here).