update `TyDesc` representation