Minor updates to Lazy values. Converted some do-while loops to recursive
functions.