Specify named parameters.

[odersky]

Named parameters, as implemented by #1186 need a specification.

[smarter]

Named type parameters have been unimplemented and thus don't need to be speced :).