In any event, it looks like concepts have indeed been kicked to the kerb. I think the definition checking was important, and some were concerned that there was no library implementation using it, which means they haven't shaken it out in practice yet.