Something that might be rather easy to get started with would be along the lines of deduction guidelines
Some of the contract folks (for whom I work) want to allow method redeclarations
so that contracts can be placed separately away from the initial declarations. We
can piggyback parameter names on this. Just redeclare functions with new names
and you can use those names in associations.