contification paper: formatting

[Matthew Fluet]

> So I have the token (and latest version) for everything else.  

Yes.

> (1) Use the vector sum example in the intro, since it's a real example
> (2) Make the name for the CPS IL be just CPS, but in a new font.
> (3) Don't use cites as nouns.  We do this in lots of places.
> 
> I agree with 2, sort of agree with 1, and don't agree with 3.

I also agree with 2.  I could go with 1, but I think it is nice to have a
small example that we translate into the CPS IL before presenting the
vector example; there's more overhead with the vector example.

I'm fine with using citations as nouns.  What's the alternative?

> I'm happy with Acall and Acont in small and Adom normal.

O.k.