Improve the checkpoint-ish section name, and add notes for the topic of types as essential to programming language interpreters.