Максим Мазаев, ЦИАН «Проверка типов в большом проекте»