Missing check of element type of array

[treiher]

Arrays and Opaque should be not allowed as element type of an array.

package Test is

   type A is mod 2**8;

   type B is array of A;

   type C is array of B;  --  invalid

   type D is array of Opaque;  --  invalid

end Test;

[treiher]

Null messages should not be allowed either.

package Test is

    type A is null message;

    type B is array of A;  --  invalid

end Test;