Add Lens.getOptions
Propagate options from getters and setters