Contains the abstract-syntax classes, scanner and parser for the TVS language.