rewrite lease parsing to control.lens