I don't think symbol and bool strategies are useful

the main reason int and float strategies are useful is because they
avoid allocations. neither float nor symbols are allocated when storing
them. worse, as it was implemented reading symbols out of the cell
needed a dictionary lookup (in W_Symbol.make).