Dévissage, hearts, traces, and units in K-theory