Always drop var IDs from type variables modulo -Z verbose, per PR discussion