A domain-specific language for expressing complex type bounds
A procedural macro to generate and encode UUIDs as typenum integers