Sneak Peek: Bolt Math

I like the concepts here, but I’m struggling with the feeling that we could do slightly better by combating the boolean-ness with parse don’t validate. It feels odd for me that with all this talk of checking for lawfulness there’s no “proof” carried through to let you do the operation, or even that lawful doesn’t just do the operation for you. I’d like to see the potential “Boolean blindness” mitigated in a good way.