Whim 0.3.0

• Added string length types, such as string[16] and string[1..=64], with formatter and reflection support.
• Breaking: Standard-library APIs now enforce string length contracts through types. Invalid lengths raise type errors where manual checks previously raised other exceptions.
• Removed redundant runtime checks when the optimizer can prove string length bounds.