types+grammar: ch3, tweaking/clarifying wording, making 'prototypes as defaults' its own section