Replaces all the bound reference names in
comp with unique names.
uniquify_reference_names simply leaves alone any reference which
is unbound under
comp: The computation building block in which to perform the replacements.
Returns a transformed version of comp inside of which all variable names are guaranteed to be unique.