Removed comparision with old implementation of the translation.
PROB-322: Added "typeof" elements in the translation process.
PROB-322: New necessary parser version 2.4.22 (because of the needed "typeof" elements in the AST)
fix class path and manifest (parser version bump)
Added comments, made SuppressWarnings annotation more specific
Added comments
PROB-322: Now adding type information to quantified formulas.
E.g. now something like "#a typeof S, b . a/=b" can be typed and animated by ProB.
Merge branch 'develop' into rodin3