Intuitive theories of group types and relational principles