Added table of type synonyms to "Appendix: Types"