Added lens interfaces to Riemann types