* Added examples on static_assert and type_traits.
* Added decltype example.