types+grammar: appendix A stuff