Lean compile-time Lense macro generation Library.