Minimize the parameters of globals/constants

[sonmarcho]

If a global constant is defined in an implementation, we parameterize it with all the generics of the impl block (see here for instance). We should only parameterize it with the generics it actually uses. Note that doing this should only require implementing a simple micro-pass.