Example: Constrained Record
A record that shows the value constraints: string length and pattern, numeric bounds, and list size.