type function

Finding types that express common belief in rationality for optimal choices