Computational Soundness of a Call by Name Calculus of Recursively-scoped Records