Create constrained_types.hpp