Type checker symbols must be transient.