Handles ints and symbols
Creates no_* predicates