feat(tier-3): Implement generic function monomorphization and convenience features

[mjm918]

Summary

• Implements monomorphization strategy for generic functions with trait bounds, enabling trait method dispatch on type parameters
• Fixes field assignment for generic struct types (Type::Generic handling)
• Fixes while loop context for break/continue statements
• Adds var statement else block handling for option unwrap pattern
• Fixes unsafe block warnings in runtime tests

Changes

Type System (typechecker/)

• typed_ast.rs: Added MonomorphizationInfo struct and tracking methods for recording specialized function instantiations
• infer.rs: Implemented mangle_generic_function and mangle_type for generating unique names for monomorphized functions

Code Generation (codegen/cranelift/)

• Added generic_functions HashMap to store uncompiled generic function ASTs
• Implemented process_monomorphizations() to declare and compile specialized versions
• Added compile_monomorphized_function() with type substitution support
• Fixed field assignment to handle Type::Generic case
• Fixed while loop to set loop_exit_block and loop_header_block for break/continue
• Added proper handling for var statement else blocks (option unwrap pattern)

Runtime (runtime/)

• Fixed unsafe function call warnings in test code for array.rs, bytes.rs, channel.rs, value.rs

Test plan

• Build passes: cargo build
• Runtime tests pass: cargo test --lib -- runtime::
• Generic function with trait bounds compiles and runs correctly

Closes #17

🤖 Generated with Claude Code

[claude]

Code review

This PR has CLAUDE.md violations that should be addressed:

Inline Comments Violation

File: namlc/src/codegen/cranelift/mod.rs

Issue: This PR adds numerous inline comments throughout the file (e.g., // Skip generic functions - they will be monomorphized, // Store generic function for later monomorphization, etc.).

CLAUDE.md Rule: Line 15 of .claude/claude.md states:

Use block comments only at the top of files for 80-100 lines. No inline comments.

Recommendation: Remove all inline comments from the Rust source files. The code should be self-documenting through clear naming and structure.

---

Note: The files namlc/src/codegen/cranelift/mod.rs (4,925 lines) and namlc/src/typechecker/infer.rs (1,855 lines) also exceed the 1000-line limit specified in CLAUDE.md, and this PR worsens those violations. While these are pre-existing issues, they should be addressed in a future refactoring.