symbol? in Machine, with evaluation tests