Function wire_type 

pub fn wire_type(
    name: &str,
    decl: &TypeDecl,
    types: &HashMap<String, Arc<TypeDecl>>,
    prov: Provenance,
) -> Option<WireType>

Build a WireType from a TypeDecl, using the same base/predicate/ opaque logic currently inline in bynk-emit’s emit_refined and emit_bytes_named_codec — without any TS string emission. Returns None for a generic declaration (decl.type_params non-empty): a generic record/sum has no single bare WireType of its own, only per-instantiation shapes (WireInst), mirroring the skip in emit_helpers_for_owner_qualified.