types+grammar: ch3 adding note referencing appendix A