#2 TLA+2 Support

[Vasile V. Alaiba]

Figure out how TLA+2 is different and how can we support both TLA+1 and TLA+2 language versions.

Is TLA+2 backwards compatible? What are the differences? see http://research.microsoft.com/en-us/um/people/lamport/tla/tools.html