[Boost-users] HasPlus

Hi All I'm clutching at straws here, so this may be a complete fiction, but I seem to recall mention of purely syntactic concept definitions as part of the now-abandoned C++0x concept proposal. Things like hasPlus. Maybe I've just made this up! Does any such thing exist in boost anywhere? Maybe as a concept check or type trait? Thx - Rob.