Type Theory And Functional Neurological Disorder