implemented analyses: type restriction, unchanged variables, operator
precedence, constant expression, used standard modules
translation: TLA+ module generator, pretty printer
some more type checking tests