Move declarations between modules
Compute number of proxy params that need to introduced

when promotting a clause we now have list of proxies that need to be
introduced at call sites of a pattern