Gravitational lensing: Recent progress and future goals | Synapse