Hi Scott
Thanks for your comments. You have a point, and I probably overdid it in the tutorial when I stressed that adding types is only for dispatch. It can also have documentation value and indeed may help to catch errors - nothing wrong with that. I will rephrase it later. The main thing I wanted to convince the reader of at this stage is that adding types does not help performance, and it is a requirement only for dispatch.
