A symbolic name can appear only once in type statements in a program unit.
A type statement must precede all executable statements.
