types+grammar: starting work on ch5 (grammar)