Update constrained_types.hpp