Three Dollar Quill

I did a bunch of planning work elsewhere, so I'm going to try to quickly sum up my conclusions:

• Drop the class distinction between inferring and non-inferring nodes; everything provides an inference method, it just might emit a constraint failure without actually doing any work
• Don't expect reduced trees to do anything useful in terms of typing
• Restore type inference to values where applicable

None of this will address the problems I was having with the current round of updates, so I'll either need to back those changes out, layer more changes on top of the half-done stuff in there currently, or put the work into figuring out how to fix it the rest of the way.

In any case, it's late and I should get to bed.

Good night.