and with concepts do I have to specify the concept it satisfies as well?

bool concept(pointerType(x),LessThanComparable(??::first)) (x) { x->first > 0; }

So how do I specify the type of "x" to the concept stuff for concept checking?

Oh gosh I hope not... Couldn't you do it in the containing function?