Code refactoring: TLA2B does no longer depend of a modified versions of
the parser SANY.
TLA2B now distinguishes between tuples and sequences.