More CR feedback.
Type checker symbols must be transient.