Tipo de sistema de Python - Objeto vs tipo

Soy nuevo en Python. Estoy familiarizado con Java, C / C ++ y OCaml. Entiendo el Cálculo Lambda y la Teoría de tipos elemental debido a un curso de Lenguajes de Programación que tomé en la Universidad.

Armado con este trasfondo, traté de leer esto.http://www.cafepy.com/article/python_types_and_objects/python_types_and_objects.html

En algún lugar abajo, él menciona esto:

(tipo 'objeto') es una instancia de (tipo 'tipo')(tipo 'objeto') es una subclase de ningún objeto.(tipo 'tipo') es una instancia de sí mismo.(type'type ') es una subclase de (tipo' objeto ')

No puedo envolver mi pobre cerebro alrededor de esto:

(tipo 'objeto') es una instancia de (tipo 'tipo')(tipo 'tipo') es una subclase de (tipo 'objeto')

¿Qué diablos está pasando aquí? Lo que quiero escuchar es razones extremadamente profundas sobre qué es exactamente lo que está sucediendo aquí y por qué las cosas son como son. No hay razones superficiales o analogías por favor.