symbols now distinct from strings