Data.LLVM

LLVM IR representation and manipulation library.

This is the main module for the LLVM IR library, providing a complete
Idris interface for creating, manipulating, and serializing LLVM IR.

The library includes:
- Core data types for LLVM IR constructs (LCore)
- Type classes for encoding IR to text (LClass) 
- Serialization to LLVM IR text format (LWrite)
- Instruction and operation types (LOps)
- Program structure and top-level definitions (LProgram)
- Builder functions and DSL interfaces (Interface)
- Type conversions and casting utilities (LCasts)
- Optimization pass integration (LPass)
- Foreign function interface utilities (LForeign)

Example usage:
```idris
import Data.LLVM

myModule : LModule
myModule = MkLModule {
  text = [
    GlobalDefC $ globalDef "myGlobal" (LInt 32) {init = Just (LInt 42)},
    FunctionDefC $ functionDef "main" LVoid [] (MkBlock [
      ret LVoid
    ])
  ]
}
```