More Type Progress