Added implementation of Lazy natural numbers. Need to correct thunks to be any unevaluated expression