Also ist es nun gottgegeben, dass ^Datentyp nur bei Variablendeklarationen funktioniert?
Nein, bei Typdeklarationen und als Operator für Variablen.
..oder ein Operator, der auf Typen und Variablen angewandt werden kann. ^Byte ist ein Ausdruck und kein Typ, weshalb es auch nicht als Typ verwendet werden kann.