add traits (supports single trait)
add trait Bool