Better symbols for ValD declarations. Fixes js/#19