Type Theory Of Personality