First steps to body promotion

Add monad transformer to accumulate number of proxies of each
parameter as we introduce proxies in the type signature