Derivation Lengths Classification of Gödel's T Extending Howard's Assignment (Logical Methods in Computer Science, 2012)