assorted updates to lensing_engine.tex in response to suggestions from reiko
(#248)