"let constant x = ref 0" is okay internally (each mention
of x is a separate application and thus separate allocation),
but this becomes just too confusing in the surface language.