Three Dollar Quill

I've been adding more type annotations to Structured Data because there was a lot of low-hanging fruit, and now there isn't, as much. Here's what I know of what's left:

• Annotations that I'm pretty sure require the concept of a "Structure" type to accomplish.
• Annotations that appear to require recursive types.
• Annotations that are so hard to type, I think I need to redesign the functions in question.

I'm going to have to take another break from this stuff, then grind through the eighty or so annotations that remain, classifying them so I can figure out how much of a pain this is going to be.

Well, I waited way too long to write this entry, so I need to stop it now.

Good night.