The Monotropic Reasoner: A Formal Model of Neurodivergent Cognitive Efϐiciency | Synapse