Major reorg, to use the same code walker for computing message lists as for computing function arglists.