TypeTestsCasts now handles casts to constant types.
Incorporating TypeTestsCasts into Erasure