This library offers a system imitating the type system of the C programming language, to be used on bytevectors. C's type system works on raw memory, and bytestructures works on bytevectors which are an abstraction over raw memory in Scheme. The system is in fact more powerful than the C type system, elevating types to first-class status.