types+grammar: cleaning up
fixing typos in the 'thank yous' appendices
types+grammar: starting appendicies