Add an example about metaprogramming

SFINAE (Substitute Failure Is Not An Error) is C++ programming
techniques. They are usefull to check specific properties of template
arguments, and make correct decision at compile time when instantiate a
template.