Type Theory And Functional Dyspepsia