adding type annotations