Reflections on the Methodology of Comparative Type Construction: Three Worlds or Real Worlds?