Lens update 4 3 3

Also updates semigroupoids to 4.2