The constrains on template template-parameters seem to be ignored

I don’t know if it that patch is ‘done’, or even ‘sufficient’, I ended up switching to working on the deferred concepts implementation (which has been an adventure since…) and got distracted, but that patch needs tests written still to confirm it DOES work (if in fact, it does).