#4 PlusCal Support

[Vasile V. Alaiba]

Figure out how can we support an additional language like PlusCal. Is it possible to have it in the same VS project?

What is the language grammar/specification? see http://research.microsoft.com/en-us/um/people/lamport/tla/tools.html