Fun.Lazy implementation and tests