On type sequences and Arf rings