His type in his system was very likely the Introverted Intuitive, more than the others. If you want to convert that to MBTI, then perhaps Ni. However going by dichotomies/functions of MBTI is a different story than Jung's own stuff. I think I, N, and T he made plenty obvious for us. So it's a matter of if he's an INTP or INTJ imo.