Runtime access to type infos