Jungle Rewriting: an Abstract Description of a Lazy Narrowing Machine