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.