Gravitational lensing constraints on dynamical and coupled dark energy