I was mistaken here. Clearly those are the concepts, not models. And the concepts are now included in concepts/check.hpp with the rest of the concepts so no need to include them here.

Sorry for confusion!