Designing Optimal Pension Systems

Question
What does optimal policy look like with both intensive and extensive margins of labor supply?
Approach:
integrate extensive margin of labor supply into Mirrleesian framework