Update Types.hpp