#136 Rename Lens to PLens and SimpleLens to Lens, add more doc to Lens