The system of thinking types