Function emit 

pub fn emit(
    value_types_to_emit: &[ValType],
    types: &mut TypeSection,
    symbols: &mut SymbolTable,
    next_type_idx: &mut u32,
)

is_final: false so boxes can gain subtypes; no supertype_idx because they don’t participate in $Object dispatch.