Three Dollar Quill

I plinked away at the System F stuff in Impliciula for a little bit. I've now got the existential module passing type checking, and I could move on to the function module, but I really want to get the generic coercion idea working, and I need to take some time to decide whether that's worth pursuing right now, or if I should just copy and paste the code, and change the one line that needs to change.

For right now, I should get to bed, but it's nice to confirm that it actually is possible to get a file to pass type checking with all of the... stuff... that I'm doing to the code. Oh, wait, I never did decide whether to include a coercion failure node. Let's think about that some more while I get ready for bed. Anyway, better move in that direction. (Actually, I think I will do the coercion failure node real quick, while this publishes.)

Good night.