STUB: Specifies how generated code serializes values at language boundaries. Covers how packers and unpackers come from Packable instances and how they are paired across languages. Covers how functions are passed between languages through defunctionalization, and how recursive data types are serialized. Defines the wire form a type must have so that every language agrees on it.