Just bite the bullet and use lens everywhere

[Shimuuar]

We get lens somewhere from dependency tree so there's little sense to sticking to microlens