add Lens for Map.WithDefault

For when you don't need a PLens.