adding the TLA type to the prolog AST.