fix(nim): use explicit ffi alias for lib_proven to resolve identifier issues

Author: hyperpolymath

bindings/nim/src/proven.nim

@@ -9,7 +9,7 @@
 #
 # Link with: -lproven
 
-import proven/lib_proven
+import proven/lib_proven as ffi
 export lib_proven
 
 import proven/safe_math
@@ -54,8 +54,8 @@ export safe_unit
 
 proc libraryVersion*(): string =
   ## Return the library version string.
-  $lib_proven.provenVersion()
+  $ffi.provenVersion()
 
 proc buildInfo*(): string =
   ## Return detailed build information.
-  $lib_proven.provenBuildInfo()
+  $ffi.provenBuildInfo()