The funtion MAKE-TYPEQ-INSTRUCTION takes a type specifier as third argument.
The type specifiers are not children of the THE-AST.
Draw the type specifiers of the THE-AST.
Second argument MAKE-THE-AST is a LIST of type specifiers.
Simplify layout, given that the initial instruction is always an ENTER.