MAKE-THE-AST now takes a list of type specifiers.
Pass a list of type specifiers to MAKE-THE-AST.
One test for THE.