Checkpoint: Generic Byte Container

One program: insert tagged values into a byte-addressed array, sort them by a comparator over their payload, and verify both the order and the type dispatch.