You reminded me of my SLI roommate and life-long friend. He always love making ironic comments when people (friends only, since he's distant, not contact) make gramatical errors, etc.
A funny anecdote:
Some years ago, one friend of us was saying: "My mother always told me that you always have to tell fools they are right" and my SLI friend replied "Yes, you're right". It was so subtle that only a few got the joke
My SLI friend always had troubles getting typed. He never related to the MBTi description of ISTJ nor the SLI description from Model A. Only when I told him about Model G, he started seeing correlation between him and SLI description according to Model G.
He's an extremely skeptical individual and he has a lot of trust in his skills (at least that's what he shows). So, him agreeing on something is very strange and usually it is a very nice indicator. But, just like you, he's not interested in Socionics. He is interested in AI and automatized projects in the computer engineering field.
Reacently I asked him about what's his trigger in order to start doing something. He told me that his trigger in order to gain motivation is to set an objective e.g "I will be in the top 5% of my promotion this year", and just for the sake of pride he MUST accomplish it, but he's aware that it's meaningless, in the end. He also usually procrastinates things until the very last moment. But when he starts working, nobody can stop him. He will spend whatever time it takes in order to fully understand what he's doing. Once he understands it, he's so confident that he will do it right that, for example, if a professor gives him a bad qualification eg (8/10 for him is bad) he will go and demand him to show him the exam because he's positive that the professor must have made a mistake. 9/10 times he's right.
Do you relate to any of that? He's SLI-NH