Schema and type system for creating sortable, byte-valued keys