no need to filter, since it is already filtered
fire updates in the Fix case
Rel path compression without losing sharing (Bruno)

  a -> b -> c -> t
becomes

  a -> c
  b -> c
  c -> t

In this whoever computes t shares its whnf will all other users