I can't rule out INTP as a possible typing for him though. He could be INTP, or ISFJ, or maybe INFP. Introversion seems apparent. He seems rather anxious and easily scared and intimidated in the earlier books and you wonder why he got sorted into Gryffindor. Well it becomes quite apparent in book 7.