Concept definition

template<typename Tp>
concept is_valid_value = is_valid_id<Tp>
                         || std::floating_point<Tp>
                         || array_like<Tp>