Removed CheckTypes operation.
CastExpressions checks types properly.

All types now implement the isResolved() operation.
ComputeConstants can pass types to computed literals.

FIXME, needs to actually use this data when computing the literals...