Improve type inference for tuples in static parameters

Tuples in static parameters were previously not inferred at all
(not even in their own constructors). This came up in Cxx.jl which
has a lot of tuples in type parameters.

@JeffBezanson