types+grammar: tweak to section name in appendix A