If we move vampire checks into `specializesSym`, then `typeOf[D1].classBound` becomes `C1{macro foo: Unit}` instead of just `C1`, which in my opinion makes more sense.