В общем, в результате моих копаний в рифлекшене, я понял, что статическая информация о типах вполне удобно размещена в объектных модулях. Своебразный такой бинарный BLOB с полной информацией о всех типах в модуле. Это всё замечательно. Но получить динамическую, так-сказать, информацию - значения полей классов и записей, переменных и т.д. как-то совсем не просто - надо, действительно, копаться в Heaps