Lazily extract the components of units. Assumes that it is safe to use Hashtbl.hash and structural equality (=) on 'a.
'a
Try to resolve all paths and references within a unit.