Add an appendix and put typed reduction rules in there