allow digits as non-first characters in symbol names
dist update