Three Dollar Quill

Okay, I made some more progress with Dafny, and now I need another break. I reorganized things a little to make imports nicer, then made some improvements that might make those changes unnecessary for that purpose, but they still help in other ways, so I'm keeping them.

I got everything together for the commutative property, and now I've got the problem that, where the other properties just instantly verified, the commutative property just spins indefinitely, without any indication of "what is wrong".

It's late, and I need some time to figure out what's going on. I'm going to wind down now.

Good night.