type annotations in typescript