Added Lens Generation with partial Specification