verbeteringen in symbolen, strings en talen