[ fix ] Fixing the boxes in the figures
[ more ] Mentioning coeffects and typechecking
[ fix ] last mention of the old meaning of boxes