Added integer literal traits.
Added tests for some type traits.