operator type traits: added documentation on the limitation to template classes with operator definition that does not bind with all template arguments