Adding an incomplete EraseType struct feature
Adding more specializations
Removing useless specialization