Delete ambiguity: DeprAbstractMethodDec and DeprMethodDecHead are not taken care of in semantic, they are deprecated, keeping them will cost another definition of Dim+ (we already have Dim*), which is not worthy