Formatting type annotations