Type casting utilities for LLVM IR constructs. This module provides Walk instances that allow automatic conversion between LLVM IR data types. These instances enable seamless integration with Idris's casting system and make the LLVM DSL more ergonomic. The primary purpose is to allow various LLVM constructs to be automatically converted to their appropriate clause types for inclusion in modules, and to provide convenient conversions between related types.