Ну вообще-то потуги сделать какой-никакой RTTI - были, например, Coca-ML.
Но учитывая то, что объекты в Ocaml, как бы это сказать, сбоку (в том числе, от основной системы типов), RTTI, наверное, и не нужно. Все-таки это функциональный язык с кой-какой поддержкой объектов, а не объектно-функциональный.