More tests.
Used C++14 alias templates for type traits.