Myers Briggs Type Theory