+struct HasLoadType: Sfinae::Evaluate<CheckLoadType, T> { };
+
+template<typename T, bool lt = HasLoadType<T>::value>
+struct TypeInfo;
+
+template<>
+struct TypeInfo<short int, false>: IntType { };
+
+template<>
+struct TypeInfo<unsigned short int, false>: IntType { };