Docupdates

change to example code in doc files as vm.py does a check on thunk.lazy and throws an error if property doesn't exist. If this is not the correct operation then bug in vm.py