Support custom failure message arguments #9

Let typed rule checks attach static or computed message arguments and render them on failure. Expose useful bound and measured-value arguments from built-in length, number, and collection checks so custom messages can reuse them. Cover precedence, per-check isolation, and edge cases.