include typetraits

typetraits.hh now contains the definition of AlwaysTrue and AlwaysFalse