Symbol annotations added as type annotations