More type traits stuff

Integral constant and true and false type