optional_optimization branch

svn path=/sandbox-branches/optional_optimization/libs/functional/function_traits.html; revision=77091