He sounds INFj to me. Combine weak Se with weak Ti and what do you get? Might be INTj too though. Think of INFjs as being like INTjs. Often they are just as rigid in their value systems as INTjs are in their logical systems. However this particular form of depression seems very much like a Ti with Fi role function hitting it over the head or Fi with Ti role function fighting one another.