L4: Added compilation context.
Modified zipper; added down.
Zip up and right