Add Operators checker via viariadic templates with recursive SFINAE (more or less)