Fixed some comments. Made Old typing invariants rule strict to Variables translation. Added generation of typing invariants for the enumeration translation