Introduce translate-into-foreign-memory and test

Introduce translate-into-foreign-memory and test; the conversion to
foreign works, but recursive conversion back to Lisp seems to require
a macro.