Resolve types operation now only sets types it knows about (no inferring)
Re-named TypeExpressions to CastExpressions.
CastExpressions should be re-entrant.