A Notion of Complexity for Theory of Mind via Discrete World Models