Definition
type_decl : type identifier ;
| type identifier = typename ;
Purpose
A type_decl creates an alias for a type.
Semantics
This aliasing is name only: it is not considered a unique type.
An unititialized type_decl may coexist with one initialized type_decl.
