Exploration of runtime types (to be able to have info about option types)