Create `subset` lens using unrolling technique

This appears to produce efficient Core.