Edits to the Typing section of "Code for People"

Here, I'm trying to make sure we don't use concepts without introducing them, and generally clean up wording and examples.