- It seems, lenses for Properties are now compiling!
- Proof of concept.