Typos

[wilbowma]

• a lot of your theorems and lemmas have periods in some places and none in others. don't worry about it
• 3.5 has a typo in the figures for compositionality; should be⟦γ⟧(⟦e⟧)
• it's the same figure in 4.4
• might as well also fix "definiton" in the proof of 4.3.11
• 4.3.12 doesn't look correct either, you're translating a red thing
• that previously appeared as corollary 3.4.10 as well
• I just noticed theorem 5.3.8 is missing a period at the end of the sentence