> Для чего указателю тип, ??
> Заранее же известно что там будет, адрес объекта ..??

Чтобы знать, какого рода объект. Тем более, что без знания типа структуры, указатель на неё использовать проблематично.

ЦП ведь ничего не знает про массивы и структуры, он с ними со всеми работает по тому же принципу: база+смещение. Это просто фишка языка, добавляющая семантику, чтобы программист меньше тупил и ошибался.

Можете ради интереса посмотреть на Cello, например: http://libcello.org/