Rewrite constrained type specs, parameters.