types+grammar: more work on appendix A