Typerep is a library for runtime types.