Once more: Getting args type information to the right places.
It's a required step before creating new variable declarations using it.