Implement type predicates for atom string and number