To reduce repetition and to provide a proper type hierarchy, let type traits inherit from TrueType and FalseType.