typeloade与typeinfo,动态类型系统支持。