Update types.hpp