THE-AST now contains a list of type specifiers.
Simplify compilation of THE-AST thanks to recent changes to the AST.
Method on SAME-P specialized to GO-AST.
AST equality table is now a hash table in a special variable.