Rename Init to InitOption and add Init that creates a Lens to a mandatory init