Можете объяснить понятие аннотации типа в программировании?