Three Dollar Quill

I'm methodically working through the different node types, and seeing if there are any changes I can make in the name of clarity. So far, I've made some changes to the function nodes (abstraction and application) and I know I need to change the attribute names in the sequence node somehow, but I don't know to what.

What we have in the sequence node is an initial computation, which should return a value, which is substituted for a variable in the subsequent computation. I have pretty bad names for these, and I'm trying to come up with better ones.

Right now, though, it's late, and I should get ready for bed.

Good night.