Simplify freshId by using <+= lens operator