хинтинг типов и причины их ограничений

Являются ли объект и массив единственными типами, разрешенными для подсказки типов?

Кроме того, в документации указано, что стандартные типы строка и int также не могут иметь подсказку типа.

И это делает меня еще более любопытным. В чем причина того, что разрешены только два типа подсказок и отброшены стандартные?

Заранее благодарим!