types+grammar: more clarifications in appendix A