Add type traits to Type.
Add `drop` to Iterable.
Add operators to `Integral`.
Add if_.
Fix minor bug in BOOST_HANA_STATIC_ASSERT.
Add zip_with to List and improve Foldable.