Annihilators and Type Decomposition in C*-Algebras