Handle strings more efficiently

We avoid copying symbol names. This consistently improves
performance (sometimes up to 50%).