tutorial: Fix a few typos and update outdated syntax
tutorial: Fix a few typos and update outdated syntax

FStarLang/FStar,A-Manning/FStar,A-Manning/FStar,FStarLang/FStar,A-Manning/FStar,FStarLang/FStar