When recompiling with GHC 4.02 and Keith's new type representations,
it seems that I need UVar to be in Var.hi-boot.  I don't think this
will be the case with the better handling of SOURCE import in
4.04, but for now I'm just going ahead and adding the UVar synonym
to the Var.hi-boot files.