Fix parameter name propagation

If a name n appears in a parameter (which is therefore fixed) then n is
still fixed itself.