Three Dollar Quill

I was kind of out of it today, but I managed to get all of the baseline definitions I was thinking about in. At this point, I just need to define the total order stuff, and move along.

The more important thing is, I now get the (very very very) basics of Dafny projects. At this point, it makes sense to try to rewrite my existing "following-along" code to be consistent with the style guide, and to try to handle verifying it with as few project files as possible.

Well, I'll get to that later, and get to bed now.

Good night.