Introduce the 'lens-properties' library