Update Typed.hpp