[capi-sig] Subtyping builtins in C