introduction to typescript: typing in typescript