Fixed type synonym in appendix section of tutorial

This was pointed out by Iain Nicol on the mailing list