using node annotations to mark type variable references