Function module_match_pattern_catalog 

pub fn module_match_pattern_catalog(program: &[SNode]) -> MatchPatternCatalog

Build the final enum catalog visible from module-owned callable bodies.

This mirrors the module scope shared by type checking and lowering. Nested block enums stay lexical to their body and are registered by the analysis as it walks that body.