Add examples for lens introduction
Fix some minor issues