type annotations display