Peter,
what you want is my MA thesis, but sadly no copies of it
survive! The reason why the translation you speak of leads nowhere
is that the translation of baby arithmetic into LPC is not
uniform, and cannot give rise to an interpretation of variables
ranging over naturals. A shame really
Thomas Forster