add van Laarhoven lenses (like in SPJ's lens talk)