Designing Benefit Rules for Flexible Retirement with or Without Redistribution