Class ASTTypeSpecification